Sciweavers

Share
CADE
2012
Springer
7 years 6 months ago
Combination of Disjoint Theories: Beyond Decidability
Combination of theories underlies the design of satis´Čüability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
Pascal Fontaine, Stephan Merz, Christoph Weidenbac...
CALCO
2011
Springer
235views Mathematics» more  CALCO 2011»
8 years 3 months ago
On the Fusion of Coalgebraic Logics
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
Fredrik Dahlqvist, Dirk Pattinson
FOSSACS
2011
Springer
8 years 7 months ago
Irrelevance in Type Theory with a Heterogeneous Equality Judgement
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
Andreas Abel
books