Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 52

> Home > Journals > Bulletin of the EATCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 52, February 1994

The Algebraic Specification Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Ehrig94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Ehrig94
Hartmut Ehrig:
FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. Bull. EATCS 52: 188-202 (1994)

The Logic and Computer Science Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/CoquandNSS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/CoquandNSS94
Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow:
Type Theorie Programming. Bull. EATCS 52: 203-228 (1994)

The Structural Complexity Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Fortnow94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Fortnow94
Lance Fortnow:
The Role of Relativization in Complexity Theory. Bull. EATCS 52: 229-243 (1994)

The Concurrency Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/EsparzaN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EsparzaN94
Javier Esparza, Mogens Nielsen:
Decidability Issues for Petri Nets - a survey. Bull. EATCS 52: 244-262 (1994)

The Formal Language Theory Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Paun94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Paun94
Gheorghe Paun:
Marcus Contextual Grammars. Bull. EATCS 52: 263-273 (1994)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Gramlich94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Gramlich94
Bernhard Gramlich:
A Note on a Parameterized Version of the Well-Founded Induction Pricible. Bull. EATCS 52: 274-277 (1994)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Kodkinson94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Kodkinson94
Ian M. Hodkinson:
Addendum to: Finite Variable Logics. Bull. EATCS 52: 278 (1994)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Seda94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Seda94a
Anthony Karel Seda:
Some Applications of General Topology To The Semantics of Logic Programms. Bull. EATCS 52: 279-291 (1994)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Seljee94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Seljee94
Ron Seljée:
Intergrity Constraint Checking for Updates in Deductive Databases, a different approach. Bull. EATCS 52: 292-314 (1994)

a service of

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.