Sciweavers

7456 search results - page 65 / 1492
» Parallelism in Logic Programming
Sort
View
NGC
2000
Springer
124views Communications» more  NGC 2000»
15 years 2 months ago
Temporal Disjunctive Logic Programming
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
Manolis Gergatsoulis, Panos Rondogiannis, Themis P...
215
Voted
POPL
2009
ACM
16 years 3 months ago
Classical BI: a logic for reasoning about dualising resources
James Brotherston, Cristiano Calcagno
90
Voted
IFIP
1994
Springer
15 years 6 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter