PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kovács, Laura"

Author of the publication

copydeleteadd this publication to your clipboard
Theorema: Towards computer-aided mathematical theory exploration.

, , , , , , , , , , and . J. Applied Logic, 4 (4): 470-504 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laura Kleckner University of Stuttgart

Laura Schmidberger University of Stuttgart

Laura Elflein University of Stuttgart

Laura Bareiß University of Stuttgart

Laura Balange University of Stuttgart

 

Other publications of authors with the same name

Experimenting with SAT Solvers in Vampire., , , and . MICAI (1), volume 8856 of Lecture Notes in Computer Science, page 431-442. Springer, (2014)A Parametric Interpolation Framework for First-Order Theories., , and . MICAI (1), volume 8265 of Lecture Notes in Computer Science, page 24-40. Springer, (2013)Aligator: A Mathematica Package for Invariant Generation (System Description).. IJCAR, volume 5195 of Lecture Notes in Computer Science, page 275-282. Springer, (2008)First-Order Interpolation and Grey Areas of Proofs (Invited Talk).. CSL, volume 82 of LIPIcs, page 3:1-3:1. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Invariant and Type Inference for Matrices., , , and . VMCAI, volume 5944 of Lecture Notes in Computer Science, page 163-179. Springer, (2010)Symbolic Computation and Automated Reasoning for Program Analysis.. CoRR, (2017)ABC: Algebraic Bound Computation for Loops., , , and . LPAR (Dakar), volume 6355 of Lecture Notes in Computer Science, page 103-118. Springer, (2010)First-Order Theorem Proving and Vampire., and . CAV, volume 8044 of Lecture Notes in Computer Science, page 1-35. Springer, (2013)Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences., , and . ISSAC, page 221-228. ACM, (2017)Aligator.jl - A Julia Package for Loop Invariant Generation., , and . CICM, volume 11006 of Lecture Notes in Computer Science, page 111-117. Springer, (2018)