default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
