More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 39

> 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 39, October 1989

The Algebraic Specification Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Goguen89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Goguen89
Joseph A. Goguen:
Momories of ADJ. Bull. EATCS 39: 96-102 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/EhrigC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EhrigC89
Hartmut Ehrig, Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. Bull. EATCS 39: 103-111 (1989)

Logic in Computer Science Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Gurevich89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Gurevich89
Yuri Gurevich:
Logic in Computer Science Column. Bull. EATCS 39: 112-121 (1989)

The Structural Complexity Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/BookW89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/BookW89
Ronald V. Book, Osamu Watanabe:
A view of structural complexity theory. Bull. EATCS 39: 122-138 (1989)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/CantoneC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/CantoneC89
Domenico Cantone, Vincenzo Cutello:
Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection. Bull. EATCS 39: 139-148 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Crochemore89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Crochemore89
Maxime Crochemore:
String-matching and periods. Bull. EATCS 39: 149-153 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Hromkovic89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Hromkovic89
Juraj Hromkovic:
The knowledge on information content of problems provides much useful information to circuit designers. Bull. EATCS 39: 154-170 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/LucaV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/LucaV89
Aldo de Luca, Stefano Varricchio:
A positive pumping condition for regular sets. Bull. EATCS 39: 171-174 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/FulopV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/FulopV89
Zoltán Fülöp, Sándor Vágvölgyi:
Congruential tree languages are the same as recognizable tree languages - a proof for a theorem of D. Kozen. Bull. EATCS 39: 175-184 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Luscanne89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Luscanne89
Pierre Lescanne:
Well quasi-ordering in a paper by Maurice Janet. Bull. EATCS 39: 185-188 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Ollongren89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Ollongren89
Alexander Ollongren:
A curious grammar. Bull. EATCS 39: 189-196 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Poigne89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Poigne89
Axel Poigné:
Bisimulation as cointersection. Bull. EATCS 39: 197-198 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Skowron89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Skowron89
Andrzej Skowron:
The evidence theory and decision tables. Bull. EATCS 39: 199-204 (1989)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Urbanek89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Urbanek89
Friedrich J. Urbanek:
On minimizing finite automata. Bull. EATCS 39: 205-206 (1989)

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.