People
Events
Research
Home
LFCS reports by Author: E
Escardó, Martín Hötzel
PCF extended with real numbers: a domaintheoretic approach to higherorder exact real number computation
Martín Hötzel Escardó
LFCS report ECSLFCS97374
Injective spaces and the filter monad
Martín Hötzel Escardó
LFCS report ECSLFCS98383
Esparza, Javier
On the decidability of model checking for several mucalculi and Petri Nets
Javier Esparza
LFCS report ECSLFCS93274
Trapping Mutual Exclusion in the Box Calculus
Javier Esparza and Glenn Bruns
LFCS report ECSLFCS94295
Decidability of Model Checking for InfiniteState Concurrent Systems
Javier Esparza
LFCS report ECSLFCS94302
An effective tableau system for the linear time mucalculus
Julian Bradfield, Javier Esparza and Angelika Mader
LFCS report ECSLFCS95337
Espírito Santo, José
Conservative extensions of the lambdacalculus for the computational interpretation of sequent calculus
José Carlos Soares do Espírito Santo
Previous

Index

Next