|
|||||
|
|
Free-variable tableaux for monotonic preorders |
|
| Authors: | Martin PJ; Gavilanes A |
| Institution: | Departamento de Sistemas Informáticos y Programación, Fac. de Informática, Univ. Complutense de Madrid, 28040 - Madrid, Spain E-mail: pjmartin@sip.ucm.es; agav@sip.ucm.es |
| Abstract: | |
| Keywords: | Monotonic preorders rigid unification free-variable tableaux |
| 本文献已被 Oxford 等数据库收录！ | |