Veronika Ortner und Bdd - Info zur Person

(1 - 7 von 7

)

Veronika OrtnerArchive of Formal Proofs

www.isa-afp.org

... Help · Submission · Statistics · About. Search. Veronika Ortner. Entries BDD Normalisation. by Veronika Ortner and Norbert Schirmer. Feb 29.

Theorem Proving in Higher Order Logics: 18th International ...google.no

books.google.no

Veronika Ortner. Verification of BDD Algorithms. Master's thesis, Technische Universität München, available from http://www.veronika.langlotz.info/.

BDD PaperUniversität des Saarlandes

www-wjp.cs.uni-saarland.de

Veronika Ortner and Norbert Schirmer · Paper on the TPHOLs th International Conference on Theorem Proving in Higher Order Logics , August , 2005, ...

Verification of BDD NormalizationSpringer

link.springer.com

von V Ortner · · Zitiert von: 22 — Veronika Ortner &; Norbert Schirmer. Conference paper Accesses. 6 Citations. Part of the Lecture Notes in Computer Science book series (LNTCS,volume ...

Verification of BDD Normalization - ResearchGate

www.researchgate.net

— Conference: International Conference on Theorem Proving in Higher Order Logics. Authors: Veronika Ortner · Veronika Ortner. ›

Norbert Schirmer's research worksResearchGate

www.researchgate.net

Conference Paper. Aug Veronika Ortner · Norbert Schirmer. We present the verification of the normalization of a binary decision diagram (BDD).

https://isabelle-dev.sketis.net/rAFPf6eab61b0d6abc...

isabelle-dev.sketis.net

... title = BDD Normalisation author = Veronika Ortner , Norbert Schirmer ... Sebastian Reiche › ...

Alle Infos zum Namen "Veronika Ortner"

Verwandte Suchanfragen zu Veronika Ortner

Norbert Schirmer
Dorit Wocher
Norbert Dehmke

Sabine Gstach
Monika Helfer
Hanspeter Frick

Erich Ortner
Katharina Klein
Dietmar Schlatter

Person "Ortner" (9)
Vorname "Veronika" (12347)
Name "Ortner" (777)

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

Veronika Ortner und Bdd Person-Info