| Jan A. Bergstra, Loe M.G. Feijs - 1991 - 448 lapas
...parser generation, and incremental compilation of algebraic specifications); The plan of the paper is as follows. In Section 2, we give an overview of the features of the formalism ASF+SDF that have influenced the design of the meta-environment. In Section... | |
| Andrei Voronkov - 1993 - 408 lapas
...believe our approach can be generalised to other modal substructural logics. The content of the paper is as follows: in section 2 we give an overview of the basics of LDS; in section 3, we introduce the syntax of the logic and the label algebra; in section... | |
| Salim Hariri, Craig A. Lee, Cauligi S. Raghavendra - 2000 - 252 lapas
...and efficient network management is becoming increasingly important. The organization of the paper is as follows. In Section 2, we give an overview of the CATALINA architecture and implementation approach. In Section 3, we describe in further detail our... | |
| Dov M. Gabbay, Franz Guenthner - 2001 - 456 lapas
...results; this we regard as a task for further research in the field. The structure of this chapter is as follows. In Section 2 we give an overview of the main approaches in nonmonotonic reasoning, and argue why the study of this kind of reasoning is relevant... | |
| |