Information and Computation
, Volume 160
Volume 160, Numbers 1-2, July/August 2000
Guy McCusker
: Games and Full Abstraction for FPC. 1-61
Juha Nurmonen
: Counting Modulo Quantifiers on Finite Structures. 62-87
Kousha Etessami
,
Thomas Wilke
: An Until Hierarchy and Other Applications of an Ehrenfeucht-Fraïssé Game for Temporal Logic. 88-108
Parosh Aziz Abdulla
,
Karlis Cerans
,
Bengt Jonsson
,
Yih-Kuen Tsay
: Algorithmic Analysis of Programs with Well Quasi-ordered Domains. 109-127
Abbas Edalat
,
Martín Hötzel Escardó
: Integration in Real PCF. 128-166
Rajeev Alur
,
Kenneth L. McMillan
,
Doron Peled
: Model-Checking of Correctness Conditions for Concurrent Objects. 167-188
Copyright ©
Fri Dec 4 20:30:43 2009 by
Michael Ley
(
ley@uni-trier.de
)