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
Volume 77, Number 3, 1990
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
Copyright ©
Sun May 17 00:24:02 2009 by
Michael Ley
(
ley@uni-trier.de
)