Theoretical Computer Science, Volume 77

Volume 77, Number 1&2, 1990

Laurette Bradley: Abstract Language Design. 5-26
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
Susan Even, David A. Schmidt: Category-Sorted Algebra-Based Action Semantics. 73-95
Ryszard Janicki, Tomasz Müldner: Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. 97-129
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo: Equational Type Logic. 131-159
Don Pigozzi: Data Types over Multiple-Values Logics. 161-194
Eric G. Wagner: An Algebraically Specified Language for Data Directed Design. 195-219

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