Sciweavers

6554 search results - page 94 / 1311
» Constraint Logic Programming
Sort
View
CADE
2006
Springer
15 years 10 months ago
Presburger Modal Logic Is PSPACE-Complete
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
Stéphane Demri, Denis Lugiez
PPDP
2009
Springer
16 years 22 days ago
A framework for abstract interpretation of timed concurrent constraint programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
POPL
1999
ACM
15 years 10 months ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden