On Rewriting Rules in Mizar
Work
Year: 2012
Type: article
Abstract: This paper presents some tentative experiments in using a special case of rewriting rules in Mizar (Mizar homepage: http://www.mizar.org/ ): rewriting a term as its subterm. A similar technique, but b... more
Source: Journal of Automated Reasoning
Author Artur Korniłowicz
Institution University of Białystok
Cites: 14
Cited by: 36
Related to: 10
FWCI: 6.499
Citation percentile (by year/subfield): 89.59
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: hybrid
APC paid (est): $2,890