default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 151

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 151, Number 1, 13 November 1995

Selected Papers of the Workshop on Topology and Completion in Semantics, Chartres, France, 18-20 November 1993

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AmblerKM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AmblerKM95
Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor:
Duality and the Completeness of the Modal mu-Calculus. 3-27
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Arnold95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Arnold95a
André Arnold:
A Topological Property of Rational omega-Languages. 29-36
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BoerPP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BoerPP95
Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi:
Nondeterminism and Infinite Computations in Constraint Programming. 37-78
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BonsangueJK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BonsangueJK95
Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok:
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. 79-124
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Courcelle95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Courcelle95
Bruno Courcelle:
The Monadic Second-Order Logic of Graphs IX: Machines and their Behaviours. 125-162
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Edalat95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Edalat95
Abbas Edalat:
Domain Theory and Integration. 163-193
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Matthews95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Matthews95
S. G. Matthews:
An Extensional Treatment of Lazy Data Flow Deadlock. 195-205
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MisloveO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MisloveO95
Michael W. Mislove, Frank J. Oles:
Full Abstraction and Recursion. 207-256
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Smyth95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Smyth95
Michael B. Smyth:
Semi-Metrics, Closure Spaces and Digital Topology. 257-276
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Sunderhauf95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Sunderhauf95
Philipp Sünderhauf:
A Faithful Computational Model of the Real Numbers. 277-294

Volume 151, Number 2, 27 November 1995

Selected Papers of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, 15-17 December 1993

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Castagna95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Castagna95
Giuseppe Castagna:
A Meta-Language for Typed Object-Oriented Languages. 297-352
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Ait-KaciG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ait-KaciG95
Hassan Aït-Kaci, Jacques Garrigue:
Label-Selective lambda-Calculus Syntax and Confluence. 353-383
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Bakel95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bakel95
Steffen van Bakel:
Intersection Type Assignment Systems. 385-435
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HondaY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HondaY95
Kohei Honda, Nobuko Yoshida:
On Reduction-Based Process Semantics. 437-486
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rao95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rao95a
M. R. K. Krishna Rao:
Modular Proofs for Completeness of Hierarchical Term Rewriting Systems. 487-512

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.