Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | Type | |||||||
---|---|---|---|---|---|---|---|---|---|
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
2004 | Introduction to the Special Issue on Verification and Computational Logic In: Theory and Practice of Logic Programming (TPLP) [4], 541-751 | Journal Article | |||||||
|
| ||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
|