Sponsored by
IGPL,
FoLLI,
ASL,
SBC
Funded by CAPES, CNPq, FINEP, FUNCAP
Organised by UFC, UFPE
[next page | previous page | main page]
|
Situation Theory by Keith Devlin |
New Applications of Domain Theory by Abbas Edalat |
|
Models of Concurrency by Rob van Glabbeek |
Gurevich Abstract State Machines by Yuri Gurevich |
|
Categorical Logic and Classifying Toposes by Peter Johnstone |
Isomorphism Invariants of Countable Models of Arithmetic by Roman Kossak |
|
Nonmonotonic Consequence Relations by Daniel Lehmann |
Categorial Grammar by Michael Moortgat |
|
Unifying Truth and Validity Checking for Temporal Logics by Moshe Vardi |