
Search the dblp DataBase
Laurian M. Chirica:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Laurian M. Chirica, David F. Martin
An Algebraic Formulation of Knuthian Semantics [Citation Graph (0, 0)][DBLP] FOCS, 1976, pp:127136 [Conf]
 Masahiro Matsuo, Laurian M. Chirica
Functional Entity Relationship Model and Update Operations. [Citation Graph (0, 0)][DBLP] FODO, 1985, pp:359366 [Conf]
 Laurian M. Chirica, David F. Martin
An OrderAlgebraic Definition of Knuthian Semantics. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1979, v:13, n:, pp:127 [Journal]
 Laurian M. Chirica, David F. Martin
Toward Compiler Implementation Correctness Proofs. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1986, v:8, n:2, pp:185214 [Journal]
Search in 0.001secs, Finished in 0.002secs
