Sciweavers

3470 search results - page 12 / 694
» Head-Elementary-Set-Free Logic Programs
Sort
View
101
Voted
PPDP
2000
Springer
15 years 7 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
97
Voted
PPDP
2000
Springer
15 years 7 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
106
Voted
ICALP
1991
Springer
15 years 7 months ago
Logical and Computational Aspects of Programming with Sets/Bags/Lists
Val Tannen, Ramesh Subrahmanyam
128
Voted
NGC
2000
Springer
124views Communications» more  NGC 2000»
15 years 3 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...
107
Voted
IFIP
1994
Springer
15 years 7 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter