3624 search results - page 54 / 725 » Abstract Algebraic Logic |
157
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
124
click to vote
ENTCS
2006
15 years 6 months ago
2006
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
167
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
218
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...
137
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...