Electronic Notes in Theoretical Computer Science
Collection
Collection
- ISSN: 1571-0661
Published by Elsevier B.V.
-
January 1995
-
January 1995
-
Confluent rewriting of bisimilar term graphs In Proceedings
January 1997
-
Inferring a DNA sequence from erroneous copies In Proceedings
January 1997
-
A notion of classical pure type system (preliminary version) In Proceedings
January 1997
-
The compact dynamic bus station Article
Electronic Notes in Theoretical Computer Science, 21(7)A.S. Klusener (Steven), S.F.M. van Vlijmen and A. Schrijver (Lex)
January 1999
-
The Essence of Constraint Propagation In Proceedings
January 1999
-
A logic for coalgebraic simulation In Proceedings
January 2000