Conditional rewriting logic: Deduction, models and concurrency
Work
Year: 1991
Type: book-chapter
Author José Meseguer
Institutions Stanford University, SRI International
Cites: 64
Cited by: 23
Related to: 10
FWCI: 4.165
Citation percentile (by year/subfield): 90.96
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed