1768 search results - page 37 / 354 » A Logic for Algebraic Effects |
ENTCS
2008
13 years 8 months ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
MLQ
2002
13 years 8 months ago
2002
In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivale...
JLP
2010
13 years 7 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
PODS
1999
ACM
14 years 24 days ago
1999
ACM
We give a polymorphic account of the relational algebra. We introduce a formalism of \type formulas" speci cally tuned for relational algebra expressions, and present an algo...
DAC
2001
ACM
14 years 9 months ago
2001
ACM