Paper Info
Title
Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning.
Year
Venue
Field
2013
Programming Logics
Automated reasoning,Abstract and concrete,Programming language,Computer science,Mathematical proof,Redundancy (engineering),Modular design,Reasoning system,Completeness (statistics)
DocType
Citations 
PageRank 
Conference
18
0.85
References 
Authors
41
1
Name
Order
Citations
PageRank
Konstantin Korovin128820.64