Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 202

> 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 202, Numbers 1-2, 28 July 1998

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BernardoG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BernardoG98
Marco Bernardo, Roberto Gorrieri:
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. 1-54
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Brzoska98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Brzoska98
Christoph Brzoska:
Programming in Metric Temporal Logic. 55-125
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FelderGM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FelderGM98
Miguel Felder, Angelo Gargantini, Angelo Morzenti:
A Theory of Implementation and Refinement in Timed Petri Nets. 127-161
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CortesiFW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CortesiFW98
Agostino Cortesi, Gilberto Filé, William H. Winsborough:
The Quotient of an Abstract Interpretation. 163-192
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hartonas98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hartonas98a
Chrysafis Hartonas:
Duality for Modal mu-Logics. 193-222
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Breugel98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Breugel98
Franck van Breugel:
Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes. 223-230
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Ramos-JimenezLM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ramos-JimenezLM98
Gonzalo Ramos-Jiménez, J. López-Muñoz, Rafael Morales Bueno:
Comparisons of Parikh's Condition to Other Conditions for Context-free Languages. 231-244

a service of

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.