Marcello M. Bonsangue
Marcello M. Bonsangue and Joost N. Kok.
Towards an infinitary logic of domains: Abramsky logic for transition systems.
Accepted for publication in
Information and Computation
. Final manuscript received for publication May 6, 1999.
References, etc.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database