4370 search results - page 24 / 874 » Algebra of Logic Programming |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
IGPL
2007
13 years 8 months ago
2007
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
CSL
1997
Springer
14 years 1 months ago
1997
Springer
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...