Higher order disunification: Some decidable cases
Work
Year: 2005
Type: book-chapter
Source: Springer eBooks
Author Denis Lugiez
Institutions Institut national de recherche en informatique et en automatique, Centre Inria de l'Université de Lorraine
Cites: 14
Cited by: 3
Related to: 10
FWCI:
Citation percentile (by year/subfield): 41
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed