Sciweavers

1768 search results - page 28 / 354
» A Logic for Algebraic Effects
Sort
View
119
Voted
TAMC
2009
Springer
16 years 10 days ago
Constraints, Graphs, Algebra, Logic, and Complexity
Moshe Y. Vardi
ERSHOV
2003
Springer
15 years 11 months ago
A Relational Algebra for Functional Logic Deductive Databases
Jesús Manuel Almendros-Jiménez, Anto...
RELMICS
2009
Springer
15 years 10 months ago
Towards Algebraic Separation Logic
Han-Hing Dang, Peter Höfner, Bernhard Mö...
CSL
1999
Springer
15 years 10 months ago
A Logical Viewpoint on Process-Algebraic Quotients
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if Ï...
Antonín Kucera, Javier Esparza