OpenAlex | Bisimilarity in Term Graph Rewriting

Bisimilarity in Term Graph Rewriting

Work

Year: 2000

Type: article

Source: Information and Computation

Authors Zena M. Ariola, Jan Willem Klop, Detlef Plump

Institutions University of Oregon, Radboud University Nijmegen, University of Bremen

Cites: 22

Cited by: 19

Related to: 10

FWCI: 1.615

Citation percentile (by year/subfield): 85.09

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze