default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 52
Volume 52, February 1994
- Hartmut Ehrig:
FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. Bull. EATCS 52: 188-202 (1994)
- Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow:
Type Theorie Programming. Bull. EATCS 52: 203-228 (1994)
- Lance Fortnow:
The Role of Relativization in Complexity Theory. Bull. EATCS 52: 229-243 (1994)
- Javier Esparza, Mogens Nielsen:
Decidability Issues for Petri Nets - a survey. Bull. EATCS 52: 244-262 (1994)
- Gheorghe Paun:
Marcus Contextual Grammars. Bull. EATCS 52: 263-273 (1994)
- Bernhard Gramlich:
A Note on a Parameterized Version of the Well-Founded Induction Pricible. Bull. EATCS 52: 274-277 (1994) - Ian M. Hodkinson:
Addendum to: Finite Variable Logics. Bull. EATCS 52: 278 (1994) - Anthony Karel Seda:
Some Applications of General Topology To The Semantics of Logic Programms. Bull. EATCS 52: 279-291 (1994) - Ron Seljée:
Intergrity Constraint Checking for Updates in Deductive Databases, a different approach. Bull. EATCS 52: 292-314 (1994)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-25 22:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
