| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 7 |       | Daniel J. Dougherty, Patricia Johann: A Combinatory Logic Approach to Higher-Order E-Unification. Theor. Comput. Sci. 139(1&2): 207-242 (1995) |
| 3 | | Daniel J. Dougherty, Patricia Johann: A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). CADE 1992: 79-93 |
| 2 |  | Daniel J. Dougherty, Patricia Johann: An Improved General E-Unification Method. J. Symb. Comput. 14(4): 303-320 (1992) |
| 1 | | Daniel J. Dougherty, Patricia Johann: An Improved General E-Unification Method. CADE 1990: 261-275 |
Selection of 4 from 22 records - Patricia Johann has 9 coauthors
Copyright © 2009-12-07 by Michael Ley (ley@uni-trier.de)