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

Volume 77, Number 3, 1990

• 
  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

last updated on Mon May 20 03:37:59 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page