LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...
LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
The Horn
LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
LICS
1998
IEEE
14 years 4 months ago
1998
IEEE
In his well-known paper \How computer should think" ( Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we...