Name Card

Full name Familienname, Vorname
Sofronie-Stokkermans, Viorica
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Kovacs, Laura ; Rath, Jakob Subsumption Demodulation in First-Order Theorem ProvingKonferenzbeitrag Inproceedings 2020
2Gleiss, Bernhard ; Suda, Martin Layered Clause Selection for Theory ReasoningKonferenzbeitrag Inproceedings 2020
3Kovacs, Laura ; Moser, Georg ; Voronkov, Andrei On Transfinite Knuth-Bendix OrdersKonferenzbeitrag Inproceedings 2011