Name Card

Full name Familienname, Vorname
Castro, Felix
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura ; Sharygina, Natasha ; Rollini, Simone Fulvio A Parametric Interpolation Framework for First-Order TheoriesKonferenzbeitrag Inproceedings2013
2Kovács, Laura ; Mantsivoda, Andrei ; Voronkov, Andrei The Inverse Method for Many-Valued LogicsKonferenzbeitrag Inproceedings2013