A FAST ALGORITHM FOR GENERATING REDUCED GROUND REWRITING-SYSTEMS FROMA SET OF GROUND EQUATIONS

Authors
SNYDER W
Citation
W. Snyder, A FAST ALGORITHM FOR GENERATING REDUCED GROUND REWRITING-SYSTEMS FROMA SET OF GROUND EQUATIONS, Journal of symbolic computation, 15(4), 1993, pp. 415-450
Citations number
41
Categorie Soggetti
Mathematics,"Computer Sciences, Special Topics",Mathematics,"Computer Applications & Cybernetics
Journal title
Journal of symbolic computation → ACNP
ISSN journal
07477171
Volume
15
Issue
4
Year of publication
1993
Pages
415 - 450
Database
ISI
SICI code
0747-7171(1993)15:4<415:AFAFGR>2.0.ZU;2-V