Search Results - Open Polar - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

Select result number 1
1

Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga

by Kaiser, Jonas, Pientka, Brigitte, Smolka, Gert
Published 2017
“...Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik...”

Get access
Get access
Get access

Conference Object
Select result number 2
2

Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)

by Bjorner, Nikolaj, Nieuwenhuis, Robert, Veith, Helmut, Voronkov, Andrei
Published 2011
“...Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany...”

Get access
Get access

Text