Name Card

Full name Familienname, Vorname
Voronkov, Andrei
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Korovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei ALASCA: Reasoning in Quantified Linear ArithmeticInproceedings Konferenzbeitrag 2023
2Hajdu - 2020 - Induction with generalization in superposition reasoning.pdf.jpgHajdú, Márton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Induction with Generalization in Superposition ReasoningInproceedings Konferenzbeitrag 26-Jul-2020
3Reger, Giles ; Bjørner, Nikolaj ; Suda, Martin ; Voronkov, Andrei AVATAR Modulo TheoriesKonferenzbeitrag Inproceedings 2016
4Kovacs, Laura ; Moser, Georg ; Voronkov, Andrei On Transfinite Knuth-Bendix OrdersKonferenzbeitrag Inproceedings 2011
5Bjørner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)Artikel Article2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pluska, Alexander ; Zuleger, Florian Embedding Intuitionistic into Classical LogicInproceedings Konferenzbeitrag 3-Jun-2023
2Bhayat, Ahmed ; Korovin, Konstantin ; Kovacs, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
3Reger, Giles ; Suda, Martin Global Subsumption Revisited (Briefly)Konferenzbeitrag Inproceedings 2017
4Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
5Zwirchmayr, Jakob ; Knoop, Jens ; Kovacs, Laura r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Konferenzbeitrag Inproceedings 2012
6Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012