Author Info
Name
Affiliation
Papers
DANIELA KAUFMANN
Johannes Kepler University Linz, Linz, Austria
2
Collaborators
Citations 
PageRank 
4
0
0.68
Referers 
Referees 
References 
0
46
20
Title
Citations
PageRank
Year
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification00.342022
The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus00.342020