Bulletin of the EATCS, Volume 52

Volume 52, February 1994

The Algebraic Specification Column

Hartmut Ehrig: FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. 188-202 BibTeX

The Logic and Computer Science Column

Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow: Type Theorie Programming. 203-228 BibTeX

The Structural Complexity Column

Lance Fortnow: The Role of Relativization in Complexity Theory. 229-243 BibTeX

The Concurrency Column

Javier Esparza, Mogens Nielsen: Decidability Issues for Petri Nets - a survey. 244-262 BibTeX

The Formal Language Theory Column

Gheorghe Paun: Marcus Contextual Grammars. 263-273 BibTeX

Technical Contributions

Bernhard Gramlich: A Note on a Parameterized Version of the Well-Founded Induction Pricible. 274-277 BibTeX
Ian M. Hodkinson: Addendum to: Finite Variable Logics. 278 BibTeX
Anthony Karel Seda: Some Applications of General Topology To The Semantics of Logic Programms. 279-291 BibTeX
Ron Seljée: Intergrity Constraint Checking for Updates in Deductive Databases, a different approach. 292-314 BibTeX

Copyright © Sat May 16 23:57:44 2009 by Michael Ley (ley@uni-trier.de)