76 search results - page 16 / 16 » A Tabulation Proof Procedure for Residuated Logic Programmin... |
140
Voted
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...