Lorenz Panny und Johannes Hölzl - Info zur Person

(1 - 9 von 10

)

11th International Symposium on Frontiers of Combining Systems -...

frocos2017.cic.unb.br

... Johannes Hölzl, Ondřej Kunčar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, and Dmitriy Traytel.

Truly Modular (Co)datatypes for Isabelle/HOL | SpringerLink

link.springer.com

Authors. Jasmin Christian Blanchette (17); Johannes Hölzl (17); Andreas Lochbihler (18); Lorenz Panny (17); Andrei Popescu (17) (19); Dmitriy Traytel (17).

Alle Infos zum Namen "Lorenz Panny"

Lorenz Panny - researchr alias

researchr.org

Publications by 'Lorenz Panny' ... Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu 0001, Dmitriy Traytel. itp 2014: [doi].

Truly Modular (Co)datatypes for Isabelle/HOL | springerprofessional.de

www.springerprofessional.de

Aus dem eBook: Interactive Theorem Proving von Jasmin Christian Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, Dmitriy Traytel:...

GEOCAL-LAC-LTP 2015

members.loria.fr

12h30, Jasmin Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, Dmitriy Traytel Types inductifs et coinductifs ...

ITP Main/Program

www.cs.uwyo.edu

16:30-17:00, Jasmin Christian Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu and Dmitriy Traytel.

Brouwer Seminar Schedule

www.cs.ru.nl

This joint work with Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel. Tue 15 apr, 10:00-15:30, LIN 7, Cramer, Schulz, ...

Christian Sternagel

cl-informatik.uibk.ac.at

... Johannes Hölzl, Ondřej Kunčar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, and Dmitriy Traytel

Andrei Popescu

www.andreipopescu.uk

Jasmin Christian Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, Dmitriy Traytel Truly Modular (Co)datatypes for Isabelle/HOL ...

Verwandte Suchanfragen zu Lorenz Panny

Jasmin Blanchette
Christian Sternagel
Julian Kirsch

Fabian Meier
René Thiemann
Martin Desharnais

Johannes Hölzl
Andreas Lochbihler
Julia Panny

Personen
Vorname "Lorenz" (5431)
Name "Panny" (57)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Lorenz Panny und Johannes Hölzl Person-Info