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
  

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 update Tue Feb 14 04:22:55 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page