Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 114

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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 114, Number 1, 1993

Selected Papers of the 3rd Workshop on Concurrency and Compositionality, Goslar, Germany, March 5-8, 1991

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbadiP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbadiP93
Martín Abadi, Gordon D. Plotkin:
A Logical View of Composition. 3-30
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BoudolCHK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BoudolCHK93
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
Observing Localities. 31-61
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DeganoNM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DeganoNM93
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Universal Axioms for Bisimulations. 63-91
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DeselE93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DeselE93
Jörg Desel, Javier Esparza:
Reachability in Cyclic Extended Free-Choice Systems. 93-118
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Larsen93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Larsen93
Kim Guldstrand Larsen:
The Expressive Power of Implicit Specifications. 119-147
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MilnerPW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MilnerPW93
Robin Milner, Joachim Parrow, David Walker:
Modal Logics for Mobile Processes. 149-171
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Vogler93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Vogler93
Walter Vogler:
Bisimulation and Action Refinement. 173-200

Volume 114, Number 2, 1993

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Vickers93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Vickers93
Steven Vickers:
Information Systems for Continuous Posets. 201-229
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EiterG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EiterG93
Thomas Eiter, Georg Gottlob:
Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. 231-245
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DesharnaisJMBM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DesharnaisJMBM93
Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili:
A Relation Division Operator: The Conjugate Kernel. 247-272
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dougherty93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dougherty93
Daniel J. Dougherty:
Higher-Order Unification via Combinators. 273-298
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Barr93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Barr93
Michael Barr:
Terminal Coalgebras in Well-Founded Set Theory. 299-315
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Elvang-GoranssonO93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Elvang-GoranssonO93
Morten Elvang-Gøransson, Olaf Owe:
A Simple Sequent Calculus for Partial Functions. 317-330

a service of

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.