More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 77

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 77, Number 1&2, 1990

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Bradley90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bradley90
Laurette Bradley:
Abstract Language Design. 5-26
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EhrigFHLJP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EhrigFHLJP90
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EvenS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EvenS90
Susan Even, David A. Schmidt:
Category-Sorted Algebra-Based Action Semantics. 73-95
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JanickiM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JanickiM90
Ryszard Janicki, Tomasz Müldner:
Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. 97-129
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MancaSS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MancaSS90
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo:
Equational Type Logic. 131-159
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Pigozzi90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Pigozzi90
Don Pigozzi:
Data Types over Multiple-Values Logics. 161-194
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Wagner90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Wagner90a
Eric G. Wagner:
An Algebraically Specified Language for Data Directed Design. 195-219

Volume 77, Number 3, 1990

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Toda90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Toda90
Seinosuke Toda:
Positive Relativizations for Log Space Computability. 221-235
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Bozapalidis90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bozapalidis90
Symeon Bozapalidis:
Constructions Effectives sur les Séries Formelles d'Arbres. 237-247
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SmithV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SmithV90
Carl H. Smith, Mahendran Velauthapillai:
On the Inference of Approximate Programs. 249-266
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Kawahara90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kawahara90
Yasuo Kawahara:
Pushout-Complements and Basic Concepts of Grammars in Toposes. 267-289
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AtzeniC90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AtzeniC90
Paolo Atzeni, Edward P. F. Chan:
Efficient and Optimal Query Answering on Independent Schemes. 291-308
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DowlingK90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DowlingK90
William F. Dowling, Robert Kline:
The Fixed Points of Logic Programs with Herbrand Base N. 309-319
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Fahmy90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fahmy90
Hossam Mahmoud Ahmad Fahmy:
Analysis of Petri Nets by Partitioning: Splitting Transitions. 321-330
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ElbazS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ElbazS90
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.