Journal of Logic and Algebraic Programming
, Volume 74
Volume 74, Number 1, November-December 2007
Pieter Hendrik Rodenburg
:
Piecewise initial algebra semantics.
1-31
Electronic Edition
(link)
BibTeX
Neal A. Harman
:
Algebraic models of behaviour and correctness of SMT and CMT processors.
32-56
Electronic Edition
(link)
BibTeX
Volume 74, Number 2, January 2008
Ismael Rodríguez
,
Mercedes G. Merayo
,
Manuel Núñez
:
HOTL: Hypotheses and observations testing logic.
57-93
Electronic Edition
(link)
BibTeX
Thuy Duong Vu
:
Denotational semantics for thread algebra.
94-111
Electronic Edition
(link)
BibTeX
K. O. Wilander
:
Soundness in verification of algebraic specifications with OBJ.
112-114
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:10:10 2009 by
Michael Ley
(
ley@uni-trier.de
)