Kovacs, Laura

Full name Familienname, Vorname

Kovacs, Laura

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Filter:

Subject: first-order theorem proving

Results 1-3 of 3 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

	Author(s)	Title	Type	Issue Date
1	Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob	SAT-Based Subsumption Resolution	Inproceedings Konferenzbeitrag	2-Sep-2023
2	Hajdú, Márton ; Hozzová, Petra ; Kovács, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei	Induction with Generalization in Superposition Reasoning	Inproceedings Konferenzbeitrag	26-Jul-2020
3	Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo	Verifying Relational Properties using Trace Logic	Konferenzbeitrag Inproceedings	2019

Filter:

Subject: first-order theorem proving

Results 1-8 of 8 (Search time: 0.036 seconds).

RIS EndNote Bibtex Excel CSV Send via email

	Author(s)	Title	Type	Issue Date
1	Lackner, Andreas	Non-Linear reasoning in the superposition calculus	Thesis Hochschulschrift	2022
2	Schoisswohl, Johannes	Automated induction by reflection	Thesis Hochschulschrift	2020
3	Rain, Sophie	First-order reasoning with aggregates	Thesis Hochschulschrift	2020
4	Hochrainer, Christoph	Automated reasoning over Arrays in the superposition calculus	Thesis Hochschulschrift	2020
5	Hajdu, Márton	Automating inductive reasoning with recursive functions	Thesis Hochschulschrift	2020
6	Damestani, David	Superposition reasoning about quantied bitvector formulas	Thesis Hochschulschrift	2020
7	Rath, Jakob	Subsumption demodulation in first-order theorem proving	Thesis Hochschulschrift	2019
8	Kragl, Bernhard	Reasoning in first-order theories with extensionality	Thesis Hochschulschrift	2014