Rule-Based Unification in Combined Theories and the Finite Variant Property
Work
Year: 2019
Type: book-chapter
Institutions University of Missouri, Ludwig-Maximilians-Universität München, University of Mary Washington, Université de Lorraine, Laboratoire Lorrain de Recherche en Informatique et ses Applications +1 more
Cites: 21
Cited by: 6
Related to: 10
FWCI: 2.427
Citation percentile (by year/subfield): 84.48
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green