Journal of Logic and Algebraic Programming
, Volume 57
Volume 57, Numbers 1-2, September - December 2003
Jan Friso Groote
,
Olga Tveretina
:
Binary decision diagrams for first-order predicate logic.
1-22
Electronic Edition
(link)
BibTeX
Cédric Fournet
,
Cosimo Laneve
,
Luc Maranget
,
Didier Rémy
:
Inheritance in the join calculus.
23-69
Electronic Edition
(link)
BibTeX
Anthony C. J. Fox
,
Neal A. Harman
:
Algebraic models of correctness for abstract pipelines.
71-107
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:10:09 2009 by
Michael Ley
(
ley@uni-trier.de
)