Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=160
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Games and full abstraction for FPC
Guy McCusker
Information and Computation
160
(1-2), 2000, pp. 1-61
Counting modulo quantifiers on finite structures
Juha Nurmonen
Information and Computation
160
(1-2), 2000, pp. 62-87
An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
Kousha Etessami
,
Thomas Wilke
Information and Computation
160
(1-2), 2000, pp. 88-108
Algorithmic analysis of programs with well quasi-ordered domains
Parosh Aziz Abdulla
,
Kārlis C̑erāns
,
Bengt Jonsson
,
Yih-Kuen Tsay
Information and Computation
160
(1-2), 2000, pp. 109-127
Integration in real PCF
Abbas Edalat
,
Martín Hötzel Escardó
Information and Computation
160
(1-2), 2000, pp. 128-166
Model-checking of correctness conditions for concurrent objects
Rajeev Alur
,
Ken McMillan
,
Doron Peled
Information and Computation
160
(1-2), 2000, pp. 167-188