default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 104

> 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 104, Number 1, 1992

Selected Papers on Theoretical Issues of Design and Implementation of Symbolic Computation Systems

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Bol92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bol92
Roland N. Bol:
Generalizing Completeness Results for Loop Checks in Logic Programming. 3-28
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JouannaudM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JouannaudM92
Jean-Pierre Jouannaud, Claude Marché:
Termination and Completion Modulo Associativity, Commutativity and Identity. 29-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hennicker92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hennicker92
Rolf Hennicker:
A Semi-Algorithm for Algebraic Implementation Proofs. 53-87
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LimongelliT92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LimongelliT92
Carla Limongelli, Marco Temperini:
Abstract Specification of Structures and Methods in Symbolic Mathematical Computation. 89-107
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Stickel92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Stickel92
Mark E. Stickel:
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. 109-128
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Talcott92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Talcott92
Carolyn L. Talcott:
A Theory for Program and Data Type Specification. 129-159

Volume 104, Number 2, 1992

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/StraubingW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/StraubingW92
Howard Straubing, Pascal Weil:
On a Conjecture Concerning Dot-Depth Two Languages. 161-183
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KimS92a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KimS92a
Changwook Kim, Ivan Hal Sudborough:
On Reversal-Bounded Picture Languages. 185-206
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Takada92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Takada92
Yuji Takada:
Learning Semilinear Sets from Examples and via Queries. 207-233
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Weir92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Weir92
David J. Weir:
A Geometric Hierarchy Beyond Context-Free Languages. 235-261
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BovetCS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BovetCS92
Daniel P. Bovet, Pierluigi Crescenzi, Riccardo Silvestri:
A Uniform Approach to Define Complexity Classes. 263-283
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Jansen92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Jansen92
Klaus Jansen:
Processor Optimization for Flow Graphs. 285-298
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Leermakers92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Leermakers92
René Leermakers:
Recursive Ascent Parsing: From Earley to Marcus. 299-312
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LeermakersAA92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LeermakersAA92
René Leermakers, Lex Augusteijn, F. E. J. Kruseman Aretz:
A Functional LR Parser. 313-323

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.