Browsing by Author

Showing results 1 to 2 of 2
Authors / EditorsTitleTypeIssue Date
Gleiss, Bernhard Interpolation and local proofsThesis Hochschulschrift 2016
Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningInproceedings 2020