Simplification Orderings: Putting Them to the Test

Authors
J.Steinbach
Citation
J.steinbach, Simplification Orderings: Putting Them to the Test, Journal of automated reasoning , 10(3), 1993, pp. 389-398
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
10
Issue
3
Year of publication
1993
Pages
389 - 398
Database
ACNP
SICI code