OpenAlex
Solving Equations by Graph Transformation
Work
Year: 2002
Type: article
Abstract: We review the concept of term graph narrowing as an approach for solving equations by transformations on term graphs. Term graph narrowing combines term graph rewriting with first-order term unificati... more
Source: Electronic Notes in Theoretical Computer Science
Authors Annegret Habel, Detlef Plump
Institutions Carl von Ossietzky Universität Oldenburg, University of York
Cites: 19
Cited by: 1
Related to: 10
FWCI: 0.414
Citation percentile (by year/subfield): 51.57
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold