Steven Kieffer

	2008
1		Steven Kieffer, Jeremy Avigad, Harvey Friedman: A language for mathematical language management CoRR abs/0805.1386: (2008)

Coauthor Index

1	Jeremy Avigad	[1]
2	Harvey M. Friedman (Harvey Friedman)	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page