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
  

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
  

Espírito Santo, José

• Conservative extensions of the lambda-calculus for the computational interpretation of sequent calculus
  José Carlos Soares do Espírito Santo