Sofronie-Stokkermans, Viorica

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Sofronie-Stokkermans, Viorica
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Rath, Jakob ; Peltier, Nicolas ; Sofronie-Stokkermans, Viorica Subsumption Demodulation in First-Order Theorem ProvingKonferenzbeitrag Inproceedings 2020
2Kovacs, Laura ; Moser, Georg ; Voronkov, Andrei ; Bjorner, Nikolaj ; Sofronie-Stokkermans, Viorica On Transfinite Knuth-Bendix OrdersKonferenzbeitrag Inproceedings 2011
3Gleiss, Bernhard ; Suda, Martin ; Peltier, Nicolas ; Sofronie-Stokkermans, Viorica Layered Clause Selection for Theory ReasoningKonferenzbeitrag Inproceedings 2020