Equational Theorem Proving for Clauses over Strings
Work
Year: 2023
Type: article
Abstract: Although reasoning about equations over strings has been extensively studied for several decades, little research has been done for equational reasoning on general clauses over strings. This paper int... more
Source: arXiv (Cornell University)
Author Dohan Kim
Cites: 25
Cited by: 1
Related to: 10
FWCI: 0.285
Citation percentile (by year/subfield): 49.75
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: diamond