Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 60
Volume 60, October 1996
- Hartmut Ehrig, Uwe Wolter:
The Impact and Future Role of Algebraic Specification. Bull. EATCS 60: 74-77 (1996)
- Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov:
Herbrand's Theorem and Equational Reasoning: Problems and Solutions. Bull. EATCS 60: 78-96 (1996)
- Rance Cleaveland, Scott A. Smolka:
Strategic Directions in Computing Research-Concurrency Working Group Report. Bull. EATCS 60: 97-122 (1996)
- Marjo Lipponen, Arto Salomaa:
Simple Words in Equality Sets. Bull. EATCS 60: 123-143 (1996)
- Joost Engelfriet:
Reverse Twin Shuffles. Bull. EATCS 60: 144 (1996) - Gheorghe Paun:
Computing by Splicing: How Simple Rules? Bull. EATCS 60: 145-150 (1996) - D. Schirmer, Vladik Kreinovich:
Towards a More Realistic Definition of Feasibility. Bull. EATCS 60: 151-153 (1996) - Anthony Karel Seda:
Quasi-Metrics and Fixed Points in Computing. Bull. EATCS 60: 154-163 (1996)
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.
last updated on 2024-06-24 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
