Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 48

> 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 48, October 1992

The Algebraic Specification Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/GoguenD92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/GoguenD92
Joseph A. Goguen, Razvan Diaconescu:
A short Oxford survey of order sorted algebra.. Bull. EATCS 48: 121-133 (1992)

The Logic in Computer Science Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/ComptonS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/ComptonS92
Kevin J. Compton, Howard Straubing:
Characterizations of regular languages in low level complexity classes. Bull. EATCS 48: 134-142 (1992)

The Structural Complexity Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Paun92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Paun92
Gheorghe Paun:
VALENCES: Increasing the power of grammars, tranducers grammar systems. Bull. EATCS 48: 143-156 (1992)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/BaazZ92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/BaazZ92
Matthias Baaz, Richard Zach:
Note on calculi for a three-valued logic for logic programming.. Bull. EATCS 48: 157-164 (1992)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/CassaigneSS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/CassaigneSS92
Julien Cassaigne, Sylviane R. Schwer, Patrice Séébold:
About Gauss codes. Bull. EATCS 48: 165-171 (1992)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/DorsteS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/DorsteS92
Manfred Droste, R. M. Shortt:
Bounded Petri nets of finite dimension have only finitely many reachable markings. Bull. EATCS 48: 172-174 (1992)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Libkin92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Libkin92
Leonid Libkin:
An elementary proof that upper and lower powerdomain constructions commute. Bull. EATCS 48: 175-177 (1992)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Pawlak92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Pawlak92
Zdzislaw Pawlak:
Concurrent versus sequential - the rough sets perspective. Bull. EATCS 48: 178-190 (1992)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Steinby92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Steinby92
Magnus Steinby:
On generalizations of the Nerode and Myhill theorems. Bull. EATCS 48: 191-196 (1992)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/VagvolgyiG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/VagvolgyiG92
Sándor Vágvölgyi, Rémi Gilleron:
For a rewrite system it is decidable whether the set of irreducible, ground terms is regognizable. Bull. EATCS 48: 197-209 (1992)

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.