Volume 160; Issue 1-2

Information and Computation

Volume 160; Issue 1-2
1

Counting Modulo Quantifiers on Finite Structures

Juha Nurmonen
Journal:
Information and Computation
Year:
2000
Language:
english
File:
PDF, 245 KB
english, 2000
3

Integration in Real PCF

Abbas Edalat, Martı&amp, #x0301, n Hötzel Escardó
Journal:
Information and Computation
Year:
2000
Language:
english
File:
PDF, 270 KB
english, 2000
4

Games and Full Abstraction for FPC

Guy McCusker
Journal:
Information and Computation
Year:
2000
Language:
english
File:
PDF, 591 KB
english, 2000
6

Model-Checking of Correctness Conditions for Concurrent Objects

Rajeev Alur, Ken McMillan, Doron Peled
Journal:
Information and Computation
Year:
2000
Language:
english
File:
PDF, 242 KB
english, 2000
7

Author Index for Volume 160

Journal:
Information and Computation
Year:
2000
File:
PDF, 26 KB
2000
8

Papers to Appear in Forthcoming Issues

Journal:
Information and Computation
Year:
2000
File:
PDF, 32 KB
2000