We are currently experiencing cases of mixed-up (and therefore incorrect) metadata for some newly indexed journal issues. We are aware of the problem and we are working on a fix. Thanks for understanding and we apologize for the inconvenience.
We are gradually moving the dblp web pages to HTTPS, and you are still viewing this page via HTTP.
Please click here to switch to HTTPS.
default search action
combined dblp search
author search
venue search
publication search
Semantic Scholar search
Authors:
no matches
Venues:
no matches
Publications:
no matches
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Theoretical Computer Science, Volume 202
help us
How can I correct errors in dblp?
contact dblp
Trier 1
Trier 2
Dagstuhl
>
Home
>
Journals
>
Theoretical Computer Science
Volume 202, Numbers 1-2, 28 July 1998
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/tcs/BernardoG98
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short 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
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/tcs/Brzoska98
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/tcs/Brzoska98
Christoph Brzoska
:
Programming in Metric Temporal Logic.
55-125
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/tcs/FelderGM98
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short 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
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/tcs/CortesiFW98
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short 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
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/tcs/Hartonas98a
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/tcs/Hartonas98a
Chrysafis Hartonas
:
Duality for Modal mu-Logics.
193-222
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/tcs/Breugel98
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short 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
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/tcs/Ramos-JimenezLM98
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short 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
maintained by
at
home
news
statistics
browse
persons
conferences
journals
series
search
search dblp
lookup by ID
about
f.a.q.
team
legal bits