default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 44

> 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 44, June 1991

The Algebraic Specification Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/EhrichBO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EhrichBO91
Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bull. EATCS 44: 129-143 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Kreowski91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Kreowski91
Hans-Jörg Kreowski:
Aspects of Systems of Logic Programming. Bull. EATCS 44: 144-146 (1991)

The Logic in Computer Science Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Kunen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Kunen91
Kenneth Kunen:
Declarative Semantics of Logic Programming. Bull. EATCS 44: 147-167 (1991)

The Formal Language Theory Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Niemi91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Niemi91
Valtteri Niemi:
Density in discrete systems. Bull. EATCS 44: 168-177 (1991)

Technical Contributions

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Courcelle91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Courcelle91
Bruno Courcelle:
On Constructing Obstruction Sets of Words. Bull. EATCS 44: 178-186 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Darondeau91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Darondeau91
Philippe Darondeau:
Recursive Graphs are not Stable under Maximal Reduction. Bull. EATCS 44: 186-189 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Ibarra91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Ibarra91
Oscar H. Ibarra:
On Resetiting DLBA's. Bull. EATCS 44: 190-191 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Murphy91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Murphy91
David Murphy:
The Physics of Observation a Perspective for Concurrency Theorists. Bull. EATCS 44: 192-201 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Pawlak91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Pawlak91
Zdzislaw Pawlak:
Decision Logik. Bull. EATCS 44: 201-225 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/SalomaaSY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/SalomaaSY91
Arto Salomaa, Kai Salomaa, Sheng Yu:
Primary Types of Instances of the Post Correspondence Problem. Bull. EATCS 44: 226-241 (1991)

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.