3624 search results - page 47 / 725 » Abstract Algebraic Logic |
119
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
164
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
131
click to vote
SAS
1993
Springer
15 years 8 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
120
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
101
click to vote
DSOM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...