[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Christoph Wiedenbach
- First-Order Tableaus with Sorts
- PostScript file Downloaded from internet, Max-Planck-Institue fur Informatik, Im Stadtwald, 66123 Saarbruken, Germany
- =THEORY LOGIC SEMANTIC TABLEAUX TREES TYPES
- demonstrates that tableaus - treestyle proofs - are shortened by adding types(sorts) as a special set of unary predicates and modfying two rules. The result is complete and sound.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]