Olga Petrovska und Ulrich Berger - Info zur Person

(1 - 9 von 14

)

Some steps toward program extraction in a type-theoretical ...unipd.it

events.math.unipd.it

von U Berger — [BPT20] Ulrich Berger, Olga Petrovska, and Hideki Tsuiki. Prawf: An in- teractive proof system for program extraction. In Conference on.

dblp: Olga Petrovska

dblp.org

Olga Petrovska, Monika Seisenberger: Report on BCTCS Bull. EATCS 137 ( 2022) [c2] Ulrich Berger, Olga Petrovska, Hideki Tsuiki: Prawf: An Interactive Proof System for Program Extraction. CiE 2020:

Accepted PapersChristian-Albrechts-Universität zu Kiel

cie2018.uni-kiel.de

New Nonterminal Complexity Results for Semi-Conditional Grammars; Ulrich Berger and Olga Petrovska. Optimised program extraction for induction and ...

Prawf – Proof Assistant and Program Extraction ToolWordPress.com

prawftree.wordpress.com

Main contacts: Ulrich Berger · Olga Petrovska. Contributors: Hideki Tsuiki · Yvett Szilagy. Share this:.

Accepted papers to appear in LNCS proceedingsWordPress.com

cie2020.wordpress.com

Cyril Banderier and Massimiliano Goldwurm. · Nikolay Bazhenov and Stefan Vatev. · Ulrich Berger, Olga Petrovska and Hideki Tsuiki. · Antonio Boccuto and Arturo ... Cyril Banderier and Massimiliano Goldwurm. · Nikolay Bazhenov and Stefan Vatev. · Ulrich Berger, Olga Petrovska and Hideki Tsuiki. · Antonio Boccuto and Arturo ...

Optimized Program Extraction for Induction and CoinductionSwansea University

cronfa.swan.ac.uk

von O Petrovska · — Swansea University Authors: Olga Petrovska · Orcid Logo , Ulrich Berger · Orcid Logo. mainv3.pdf. PDF | Accepted Manuscript. Download (327.7KB). von O PETROVSKA · — Swansea University Author: OLGA PETROVSKA. Petrovska_Olga_PhD_Thesis_Final_Redacted_Signature.pdf. PDF | E-Thesis – open access.

Publications (Hideki Tsuiki)京都大学

www.i.h.kyoto-u.ac.jp

Ulrich Berger, Olga Petrovska, Hideki Tsuiki: Prawf: An Interactive Proof System for Program Extraction. in Conference Proceedings CiE 2020, pp

PCC 2017Institut de Recherche en Informatique de Toulouse

www.irit.fr

— 10h-10h30 Coffee break; 10h30-11h15 Olga Petrovska (joint work with Ulrich Berger): Natural Language Proofs for Program Extraction: Common ...

Second supervisor: Edmund RobinsonQueen Mary University of London

www.eecs.qmul.ac.uk

Olga Petrovska, viva held on 26 February 2021, Swansea Enhanced Realizability Interpretation for Program Extraction Supervisor: Ulrich Berger; Pedro Pinto ... Olga Petrovska, viva held on 26 February 2021, Swansea Enhanced Realizability Interpretation for Program Extraction Supervisor: Ulrich Berger; Pedro Pinto ...

Alle Infos zum Namen "Olga Petrovska"

Verwandte Suchanfragen zu Olga Petrovska

Ulrich Berger
Loan Debt

Personen
Vorname "Olga" (13845)
Name "Petrovska" (37)

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

Olga Petrovska und Ulrich Berger Person-Info