Theoretical Computer Science
, Volume 222
Volume 222, Numbers 1-2, July 1999
Samson Abramsky
,
Simon J. Gay
,
Rajagopal Nagarajan
:
A Specification Structure for Deadlock-Freedom of Synchronous Processes.
1-53
Electronic Edition
(link)
BibTeX
Patrick Cégielski
,
Denis Richard
:
On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists.
55-75
Electronic Edition
(link)
BibTeX
Gilberto Filé
,
Francesco Ranzato
:
The Powerset Operator on Abstract Interpretations.
77-111
Electronic Edition
(link)
BibTeX
Feng Cao
,
Al Borchers
:
Optimal Transmission Schedules for Lightwave Networks Embedded with De Bruijn Graphs.
113-131
Electronic Edition
(link)
BibTeX
Yuri Gurevich
,
Andrei Voronkov
:
Monadic Simultaneous Rigid E-unification.
133-152
Electronic Edition
(link)
BibTeX
Elena Marchiori
:
Design of Abstract Domains Using First-Order Logic.
153-179
Electronic Edition
(link)
BibTeX
Loïc Colson
:
On Diagonal Fixed Points of Increasing Functions.
181-186
Electronic Edition
(link)
BibTeX
Catherine Dufourd
,
Alain Finkel
:
A Polynomial-Bisimilar Normalization for Reset Petri Nets.
187-194
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:24:31 2009 by
Michael Ley
(
ley@uni-trier.de
)