Name Card

Full name Familienname, Vorname
Huisman, Marieke
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Reger, Giles ; Suda, Martin ; Voronkov, Andrei Unification with Abstraction and Theory Instantiation in Saturation-Based ReasoningKonferenzbeitrag Inproceedings 2018
2Kovács, Laura Symbolic Computation and Automated Reasoning for Program AnalysisKonferenzbeitrag Inproceedings2016