Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
1994 | [Chadha, Ritu] Plaisted, David A. | Correctness of unification without occur check in Prolog In: Journal of Logic Programming [18], 99-122 | Journal Article | ||||||
1993 | Chadha, Ritu Plaisted, David A. | On the mechanical derivation of loop invariants In: Journal of Symbolic Computation [15], 705-744 | Journal Article | ||||||
23 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
|
Previous Page | Next Page |