default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 198

> 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 198, Numbers 1-2, 30 May 1998

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/OttoND98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/OttoND98
Friedrich Otto, Paliath Narendran, Daniel J. Dougherty:
Equational Unification, Word Unification, and 2nd-Order Equational Unification. 1-47
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NadathurW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NadathurW98
Gopalan Nadathur, Debra Sue Wilson:
A Notation for Lambda Terms: A Generalization of Environments. 49-98
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Geffert98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Geffert98
Viliam Geffert:
A Communication Hierarchy of Parallel Computations. 99-130
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hartonas98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hartonas98
Chrysafis Hartonas:
A Fixpoint Approach to Finite Delay and Fairness. 131-158
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BorealeS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BorealeS98
Michele Boreale, Davide Sangiorgi:
Some Congruence Properties for Pi-Calculus Bisimilarities. 159-176
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Goldblatt98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Goldblatt98
Robert Goldblatt:
Enlargement of Functional Algebras for the Lambda Calculus. 177-200
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Egly98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Egly98
Uwe Egly:
An Answer to an Open Problem of Urquhart. 201-209
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Esparza98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Esparza98
Javier Esparza:
Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete. 211-224
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Corradini98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Corradini98
Flavio Corradini:
On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. 225-237
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CagmanH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CagmanH98
Naim Çagman, J. Roger Hindley:
Combinatory Weak Reduction in Lambda Calculus. 239-247

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.