default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 60

> 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 60, October 1996

The Algebraic Specification Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/EhrigW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EhrigW96
Hartmut Ehrig, Uwe Wolter:
The Impact and Future Role of Algebraic Specification. Bull. EATCS 60: 74-77 (1996)

The Logic in Computer Science Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/DegtyarevGV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/DegtyarevGV96
Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov:
Herbrand's Theorem and Equational Reasoning: Problems and Solutions. Bull. EATCS 60: 78-96 (1996)

The Concurrency Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/CleavelandS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/CleavelandS96
Rance Cleaveland, Scott A. Smolka:
Strategic Directions in Computing Research-Concurrency Working Group Report. Bull. EATCS 60: 97-122 (1996)

The Formal Language Theory Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/LipponenS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/LipponenS96
Marjo Lipponen, Arto Salomaa:
Simple Words in Equality Sets. Bull. EATCS 60: 123-143 (1996)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Engelfriet96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Engelfriet96
Joost Engelfriet:
Reverse Twin Shuffles. Bull. EATCS 60: 144 (1996)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Paun96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Paun96
Gheorghe Paun:
Computing by Splicing: How Simple Rules? Bull. EATCS 60: 145-150 (1996)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/SchirmerK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/SchirmerK96
D. Schirmer, Vladik Kreinovich:
Towards a More Realistic Definition of Feasibility. Bull. EATCS 60: 151-153 (1996)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Seda96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Seda96
Anthony Karel Seda:
Quasi-Metrics and Fixed Points in Computing. Bull. EATCS 60: 154-163 (1996)

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.