Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 57

> 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 57, October 1995

The Algebraic Specification Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/EhrigM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EhrigM95
Hartmut Ehrig, Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations. Bull. EATCS 57 (1995)

The Logic in Computer Science Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Gurevich95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Gurevich95
Yuri Gurevich:
Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand. Bull. EATCS 57 (1995)

The Structural Complexity Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Weihrauch95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Weihrauch95
Klaus Weihrauch:
A Foundation of Computable Analysis. Bull. EATCS 57 (1995)

The Formal Language Theory Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Paun95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Paun95
Gheorghe Paun:
Splicing. Bull. EATCS 57 (1995)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/BertolR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/BertolR95
Michael Bertol, Klaus Reinhardt:
The Tautologies over a Finite Set are Context-Free. Bull. EATCS 57 (1995)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/ChaitinAC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/ChaitinAC95
Gregory J. Chaitin, Asat Arslanov, Cristian Calude:
Program-size Complexity Computes the Halting Problem. Bull. EATCS 57 (1995)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/AntoniCVBC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/AntoniCVBC95
G. Degli Antoni, D. Cabianca, M. Vaccari, Marco Benini, F. Casablanca:
Linearity of Client/Server Systems. Bull. EATCS 57 (1995)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Nourani95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Nourani95
Cyrus F. Nourani:
Artificial Algebras. Bull. EATCS 57 (1995)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Raz95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Raz95
Danny Raz:
Context-free Languages are Not Closed under Interior and Frontier. Bull. EATCS 57 (1995)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Vajnovszki95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Vajnovszki95
Vincent Vajnovszki:
Constant Time Generation of Binary Unordered Trees. Bull. EATCS 57 (1995)

Surveys and Tutorial

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Geurts95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Geurts95
F. Geurts:
Hierarchy of Discrete-Time Dynamical Systems, a Survey. Bull. EATCS 57 (1995)

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.