default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 142

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 142, Number 1, 1 May 1995

Selected Papers from PLILP 1991

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Aasa95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Aasa95
Annika Aasa:
Precedences in Specifications and Implementations of Programming Languages. 3-26
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlpuenteFL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlpuenteFL95
María Alpuente, Moreno Falaschi, Giorgio Levi:
Incremental Constraint Satisfaction for Equational Logic Programming. 27-57
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LoogenW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LoogenW95
Rita Loogen, Stephan Winkler:
Dynamic Detection of Determinism in Functional Languages. 59-87
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ProiettiP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ProiettiP95
Maurizio Proietti, Alberto Pettorossi:
Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. 89-124
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Nilsson95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Nilsson95
Ulf Nilsson:
Abstract Interpretation: A Kind of Magic. 125-139

Volume 142, Number 2, 15 May 1995

Selected Papers of the 5th International Conference on Rewriting Techniques and Applications, Monreal, Canada, June 1993

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Kirchner95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kirchner95
Claude Kirchner:
Editorial. 139-140
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LynchS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LynchS95
Christopher Lynch, Wayne Snyder:
Redundancy Criteria for Constrained Completion. 141-177
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DershowitzH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DershowitzH95
Nachum Dershowitz, Charles Hoot:
Natural Termination. 179-207
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RubioN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RubioN95
Albert Rubio, Robert Nieuwenhuis:
A Total AC-Compatible Ordering Based on RPO. 209-227
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BaaderS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaaderS95
Franz Baader, Klaus U. Schulz:
Combination Techniques and Decision Problems for Disunification. 229-255
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Senizergues95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Senizergues95
Géraud Sénizergues:
Some Undecidable Termination Problems for Semi-Thue Systems. 257-276
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AspertiL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AspertiL95
Andrea Asperti, Cosimo Laneve:
Paths, Computations and Labels in the lambda-Calculus. 277-297
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Gallier95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Gallier95
Jean H. Gallier:
Proving Properties of Typed lambda-Terms Using Realizability, Covers, and Sheaves. 299-368

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.