2 search results - page 1 / 1 » A Constraint Oriented Proof Methodology Based on Modal Trans... |
126
Voted
TACAS
1995
Springer
15 years 10 months ago
1995
Springer
196
Voted
ICLP
2005
Springer
16 years 18 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...