default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 118

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

Selected Papers of the 15th International Symposium on Mathematical Foundations of Computer Science (MFCS'90), Banska Bystria, Czechoslovakia

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BaruahHR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaruahHR93
Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier:
Feasibility Problems for Recurring Tasks on one Processor. 3-20
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DorondeauD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DorondeauD93
Philippe Darondeau, Pierpaolo Degano:
Refinement of Actions in Event Structures and Causal Trees. 21-48
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Geffert93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Geffert93
Viliam Geffert:
A Speed-Up Theorem Without Tape Compression. 49-79
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Walukiewicz93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Walukiewicz93
Igor Walukiewicz:
Gentzen-Type Axiomatization for PAL. 67-79
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Wegener93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Wegener93
Ingo Wegener:
BOTTOM-UP-HEAPSORT, a New Variant of HEAPSORT, Beating, on an Average, QUICKSORT (if n is not Very Small). 81-98

Volume 118, Number 2 1993

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Deransart93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Deransart93
Pierre Deransart:
Proof Methods of Declarative Properties of Definite Programs. 99-166
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Comon93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Comon93
Hubert Comon:
Complete Axiomatizations of Some Quotient Term Algebras. 167-191
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Stewart93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Stewart93
Iain A. Stewart:
Methods for Proving Completeness via Logical Reductions. 193-229
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DraghicescuP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DraghicescuP93
M. Draghicescu, S. Purushothaman:
A Uniform Treatment of Order of Evalaution and Aggregate Update. 231-262
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Groote93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Groote93
Jan Friso Groote:
Transition System Specifications with Negative Premises. 263-299
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Simpson93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Simpson93
Alex K. Simpson:
A Characterisation of the Least-Fixed-Point Operator by Dinaturality. 301-314

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.