Lila Fontes

	2012
3		Stephen A. Cook, Lila Fontes: Formal Theories for Linear Algebra Logical Methods in Computer Science 8(1): (2012)
	2010
2		Stephen A. Cook, Lila Fontes: Formal Theories for Linear Algebra. CSL 2010: 245-259
1		Lila Fontes: Formal Theories for Logspace Counting CoRR abs/1001.1960: (2010)

Coauthor Index

1

Stephen A. Cook

[2] [3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page