dblp.uni-trier.dewww.uni-trier.de

Laurian M. Chirica

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1986
4EELaurian 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)