4370 search results - page 171 / 874 » Algebra of Logic Programming |
ICLP
1998
Springer
14 years 3 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
MPC
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
ERSHOV
2009
Springer
14 years 5 months ago
2009
Springer
ICALP
2007
Springer
14 years 4 months ago
2007
Springer
