Browsing Schlaipfer, Matthias

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Ebner Gabriel - 2018 - Efficient translation of sequent calculus proofs into...pdf.jpgEbner, Gabriel; Schlaipfer, MatthiasEfficient translation of sequent calculus proofs into natural deduction proofsInproceedings Konferenzbeitrag 2018
Schlaipfer Matthias - 2017 - Optimizing Big-Data Queries Using Program Synthesis.pdf.jpgSchlaipfer, Matthias; Rajan, Kaushik ; Lal, Akash ; Samak, Malavika Optimizing Big-Data Queries Using Program SynthesisInproceedings Konferenzbeitrag 2017