Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 32

> 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 32, June 1987

The Algebraic Specification Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Ehrig87a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Ehrig87a
Hartmut Ehrig:
The Algebraic Specification Column. Bull. EATCS 32: 70-72 (1987)

The Structural Complexity Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Hartmanis87a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Hartmanis87a
Juris Hartmanis:
Structural Complexity Columns in Sparse complete sets for NP and the optimal collpase of the polynomial hierarchy. Bull. EATCS 32: 73-81 (1987)

The Formal Language Theory Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Salomaa87a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Salomaa87a
Arto Salomaa:
Formal Language Theory Column - Two-way Thue. Bull. EATCS 32: 82-87 (1987)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Gnaedig87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Gnaedig87
Isabelle Gnaedig:
Knuth-Bendix procedure and non-deterministic behaviour - An example. Bull. EATCS 32: 86-92 (1987)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Martin87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Martin87
Michael G. Martin:
Detecting leftmost periodicities. Bull. EATCS 32: 93-97 (1987)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Meier87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Meier87
John-Jules Ch. Meyer:
Process modalities obtained as fixed points (Part one). Bull. EATCS 32: 98-106 (1987)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Rabinovich87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Rabinovich87
Alexander Moshe Rabinovich:
Pomset semantics is consistenct with data flow semantics. Bull. EATCS 32: 107-117 (1987)

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.