Sciweavers

Share
13 search results - page 3 / 3
» Modularity in Coalgebra
Sort
View
IANDC
2011
119views more  IANDC 2011»
10 years 8 months ago
Quantitative Kleene coalgebras
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...
ICALP
2007
Springer
11 years 7 months ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
CALCO
2009
Springer
161views Mathematics» more  CALCO 2009»
11 years 8 months ago
Free Heyting Algebras: Revisited
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
Nick Bezhanishvili, Mai Gehrke
books