LFCS reports by Author: E
- Escardó, Martín Hötzel
-
- PCF extended with real numbers: a domain-theoretic approach
to higher-order exact real number computation
Martín Hötzel Escardó
LFCS report ECS-LFCS-97-374
- Injective spaces and the filter monad
Martín Hötzel Escardó
LFCS report ECS-LFCS-98-383
- PCF extended with real numbers: a domain-theoretic approach
to higher-order exact real number computation
- Esparza, Javier
-
- On the decidability of model checking for several mu-calculi
and Petri Nets
Javier Esparza
LFCS report ECS-LFCS-93-274
- Trapping Mutual Exclusion in the Box Calculus
Javier Esparza and Glenn Bruns
LFCS report ECS-LFCS-94-295
- Decidability of Model Checking for Infinite-State Concurrent
Systems
Javier Esparza
LFCS report ECS-LFCS-94-302
- An effective tableau system for the linear time
mu-calculus
Julian Bradfield, Javier Esparza and Angelika Mader
LFCS report ECS-LFCS-95-337
- On the decidability of model checking for several mu-calculi
and Petri Nets
- Espírito Santo, José
-
-
Conservative extensions of the lambda-calculus
for the computational interpretation of sequent calculus
José Carlos Soares do Espírito Santo
-
Conservative extensions of the lambda-calculus
for the computational interpretation of sequent calculus