External Links

    Journal: Inf. Comput.

    Volume 160, Issue 1-2

    1 -- 61Guy McCusker. Games and Full Abstraction for FPC
    62 -- 87Juha Nurmonen. Counting Modulo Quantifiers on Finite Structures
    88 -- 108Kousha Etessami, Thomas Wilke. An Until Hierarchy and Other Applications of an Ehrenfeucht-Fraïssé Game for Temporal Logic
    109 -- 127Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay. Algorithmic Analysis of Programs with Well Quasi-ordered Domains
    128 -- 166Abbas Edalat, Martín Hötzel Escardó. Integration in Real PCF
    167 -- 188Rajeev Alur, Kenneth L. McMillan, Doron Peled. Model-Checking of Correctness Conditions for Concurrent Objects
    runs on