Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
2 |
| ||||||||
6 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
10 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
4 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
22 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
3 |
| ||||||||
4 |
| ||||||||
3 |
| ||||||||
2 |
| ||||||||
1997 | Matthews, Seán | A practical implementation of simple consequence relations using inductive definitions In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 306-320 | Proceedings Article | ||||||
1997 | Ganzinger, Harald Meyer, Christoph Weidenbach, Christoph | Soft Typing for Ordered Resolution In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335 | Proceedings Article |
Previous Page | Next Page |