Laurian M. Chirica

	1986
4		Laurian M. Chirica, David F. Martin: Toward Compiler Implementation Correctness Proofs. ACM Trans. Program. Lang. Syst. 8(2): 185-214 (1986)
	1985
3		Masahiro Matsuo, Laurian M. Chirica: Functional Entity Relationship Model and Update Operations. FODO 1985: 359-366
	1979
2		Laurian M. Chirica, David F. Martin: An Order-Algebraic Definition of Knuthian Semantics. Mathematical Systems Theory 13: 1-27 (1979)
	1976
1		Laurian M. Chirica, David F. Martin: An Algebraic Formulation of Knuthian Semantics FOCS 1976: 127-136

Coauthor Index

1	David F. Martin	[1] [2] [4]
2	Masahiro Matsuo	[3]

Colors in the list of coauthors