default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 45

> 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 45, October 1991

The Algebraic Specification Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/PresicceP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/PresicceP91
Francesco Parisi-Presicce, Alfonso Pierantonio:
Towards the Algebraic Specification of Classes in Object Oriented Programming. Bull. EATCS 45: 85-97 (1991)

The Logic in Computer Science Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Gunter91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Gunter91
Carl A. Gunter:
Forms of Semantic Specification. Bull. EATCS 45: 98-113 (1991)

The Structural Complexity Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Selman91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Selman91
Alan L. Selman:
Complexity Classes for Partial Functions. Bull. EATCS 45: 114-130 (1991)

The Formal Language Theory Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/DassowK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/DassowK91
Jürgen Dassow, Jozef Kelemen:
Cooperating/Distributed Grammar Systems: a Link between Formal Languages and Artificial Intelligence. Bull. EATCS 45: 131-145 (1991)

Technical Contributions

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Akman91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Akman91
Varol Akman:
Undaunted Sets. Bull. EATCS 45: 146-147 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Choffrut91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Choffrut91
Christian Choffrut:
Conjugacies. Bull. EATCS 45: 148-157 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/InverardiP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/InverardiP91
Paola Inverardi, Corrado Priami:
Evaluation of Tools for the Analysis of Communicating Systems. Bull. EATCS 45: 158-185 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/FuloopV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/FuloopV91
Zoltán Fülöp, Sándor Vágvölgyi:
Ground Term Rewriting Rules for the Word Problem of Ground Term Equations. Bull. EATCS 45: 186-201 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/LeuchnerMS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/LeuchnerMS91
John H. Leuchner, Les Miller, Giora Slutzki:
Agreement Graph Dependencies. Bull. EATCS 45: 202-217 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Paun91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Paun91
Gheorghe Paun:
A Characterization of Recursively Enumerable Languages. Bull. EATCS 45: 218-222 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Turakainen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Turakainen91
Paavo Turakainen:
A Unified Approach to Characterizations of Recursively Enumerable Languages. Bull. EATCS 45: 223-228 (1991)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Turner91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Turner91
David Turner:
Duality and De Morgan Laws for the Algebra of Lists. Bull. EATCS 45: 229-238 (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.