Theoretical Computer Science, Volume 77

Volume 77, Number 1&2, 1990

Laurette Bradley: Abstract Language Design. 5-26 BibTeX
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce: Compatibility Problems in the Development of Algebraic Module Specifications. 27-71 BibTeX
Susan Even, David A. Schmidt: Category-Sorted Algebra-Based Action Semantics. 73-95 BibTeX
Ryszard Janicki, Tomasz Müldner: Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. 97-129 BibTeX
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo: Equational Type Logic. 131-159 BibTeX
Don Pigozzi: Data Types over Multiple-Values Logics. 161-194 BibTeX
Eric G. Wagner: An Algebraically Specified Language for Data Directed Design. 195-219 BibTeX

Seinosuke Toda: Positive Relativizations for Log Space Computability. 221-235 BibTeX
Symeon Bozapalidis: Constructions Effectives sur les Séries Formelles d'Arbres. 237-247 BibTeX
Carl H. Smith, Mahendran Velauthapillai: On the Inference of Approximate Programs. 249-266 BibTeX
Yasuo Kawahara: Pushout-Complements and Basic Concepts of Grammars in Toposes. 267-289 BibTeX
Paolo Atzeni, Edward P. F. Chan: Efficient and Optimal Query Answering on Independent Schemes. 291-308 BibTeX
William F. Dowling, Robert Kline: The Fixed Points of Logic Programs with Herbrand Base N. 309-319 BibTeX
Hossam Mahmoud Ahmad Fahmy: Analysis of Petri Nets by Partitioning: Splitting Transitions. 321-330 BibTeX
Mounir Elbaz, Jean-Claude Spehner: Construction of Voronoi Diagrams in the Plane by Using Maps. 331-343 BibTeX