default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 91

> 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 91, Number 1, 1991

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SrinivasanR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SrinivasanR91
Aravind Srinivasan, C. Pandu Rangan:
Efficient Algorithms for the Minimum Weighted Dominating Clique Problem on Permutation Graphs. 1-21
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BunemanJO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BunemanJO91
Peter Buneman, Achim Jung, Atsushi Ohori:
Using Powerdomains to Generalize Relational Databases. 23-55
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CulikD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CulikD91
Karel Culík II, Simant Dube:
An Efficient Solution of the Firing Mob Problem. 57-69
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Arfi91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Arfi91
Mustapha Arfi:
Opérations polynomiales et hiérarchies de concaténation. 71-84
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hashiguchi91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hashiguchi91a
Kosaburo Hashiguchi:
Algorithms for Determining Relative Inclusion Star Height and Inclusion Star Height. 85-100
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Kinber91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kinber91
Efim B. Kinber:
On Complete Sets of Samples for Generalized Regular Expressions. 101-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Moews91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Moews91
David Moews:
Sum of Games Born on Days 2 and 3. 119-128

Volume 91, Number 2, 1991

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KearneyS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KearneyS91
Peter Kearney, John Staples:
An Extensional Fixed-Point Semantics for Nondeterministic Data Flow. 129-179
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KnijnenburgL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KnijnenburgL91
Peter M. W. Knijnenburg, Jan van Leeuwen:
On Models for Propositional Dynamic Logic. 181-203
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Vogler91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Vogler91
Walter Vogler:
Executions: A New Partial-Order Semantics of Petri Nets. 205-238
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/TarleckiBG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TarleckiBG91
Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen:
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. 239-264
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Zhang91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Zhang91
Wenhui Zhang:
Cut Elimination and Automatic Proof Procedures. 265-284
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RozoyT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RozoyT91
Brigitte Rozoy, P. S. Thiagarajan:
Event Structures and Trace Monoids. 285-313

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.