Paper Info
Title
Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion.
Year
DOI
Venue
2013
10.4230/LIPIcs.RTA.2013.287
RTA
Field
DocType
Citations 
Discrete mathematics,Computer science,Algorithm,Critical pair,Mathematical proof,Rewriting,Soundness,Proof assistant
Conference
7
PageRank 
References 
Authors
0.49
14
2
Name
Order
Citations
PageRank
Christian Sternagel120227.60
René Thiemann298469.38