Paper Info
Title
Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs.
Year
DOI
Venue
2014
10.1007/978-3-319-08918-8_30
RTA-TLCA
Field
DocType
Citations 
HOL,Discrete mathematics,Data mining,Polynomial,Algebra,Computer science,Matrix (mathematics),Mathematical proof,Certification,Monotone polygon,Proof assistant,Formal proof
Conference
3
PageRank 
References 
Authors
0.39
30
2
Name
Order
Citations
PageRank
Christian Sternagel120227.60
René Thiemann298469.38