1768 search results - page 52 / 354 » A Logic for Algebraic Effects |
131
Voted
CASC
2009
Springer
15 years 1 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
CADE
2008
Springer
16 years 29 days ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
103
Voted
CASC
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
108
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
100
click to vote
SLOGICA
2008
15 years 17 days ago
2008
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...