Denis Firsov und University Of Technology - Info zur Person

(1 - 10 von 12

)

Denis Firsov | Homepagefirsov.ee

firsov.ee

Denis Firsov. For my PhD, I studied under the supervision of Tarmo Uustalu at the Institute of Cybernetics of the Tallinn University of Technology (TUT).

CV: Denis Firsov - ETISwww.etis.ee › Denis_Firsov › eng

www.etis.ee

Denis Firsov, Doctor's Degree, 2016, (sup) Tarmo Uustalu, Certification of context-free grammar algorithms, Tallinn University of Technology Institute of ...

Denis Firsov - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Denis Firsov. MathSciNet. Ph.D. Tallinn University of Technology Estonia. Dissertation: Certification of context-free grammar algorithms. Mathematics Subject ...

Certified Programs and Proofs: Third International Conference, CPP ...books.google.com › books

books.google.de

Certified Parsing of Regular Languages Denis Firsov and Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology Akadeemia tee 21, ...

Gert Smolka: Doctoral Students

www.ps.uni-saarland.de

Denis Firsov, 2016, Tallinn University of Technology. Certification of Context-Free Grammar Algorithms. Beta Ziliani, 2015, Saarland University. Interactive Typed Tactic Programming in the Coq Proof Assistant. Guillaume Hoffmann, 2010, Nancy-Université. Reasoning Tasks for Hybrid Logics.

Certified Parsing of Regular Languages | SpringerLink

link.springer.com

Denis Firsov; Tarmo Uustalu. Denis Firsov. 1. Tarmo Uustalu Institute of CyberneticsTallinn University of TechnologyTallinnEstonia. Conference paper.

‪Denis Firsov‬ - ‪Google Академик‬

scholar.google.fr

‪Researcher at Guardtime AS and Tallinn University of Technology‬ - ‪‪Цитирано пута‬‬ - ‪functional programming‬ - ‪type theory‬ - ‪cryptography‬ -...

‪Denis Firsov‬ - ‪Google Scholar‬

scholar.google.com

‪Researcher at Guardtime AS and Tallinn University of Technology‬ - ‪‪Cited by 115‬‬ - ‪functional programming‬ - ‪type theory‬ - ‪cryptography‬ - ‪programming...

Meetings/Krakow19Firsov - COST Action EUTypes CA15123eutypes.cs.ru.nl › Meetings

eutypes.cs.ru.nl

Denis Firsov. Tallinn University of Technology. Efficient Mendler-Style Lambda-Encodings in Cedille. It is common to model inductive datatypes as least ...

Oregon Programming Languages Summer School

www.cs.uoregon.edu

Denis Firsov, denis.firsov, gmail.com, Tallinn University of Technology. HyungChul Park, luscani, postech.ac.kr, Pohang University.

Alle Infos zum Namen "Denis Firsov"

Verwandte Suchanfragen zu Denis Firsov

Vladimir Shklyarov
Irina Golub
Siegfried Stindl

Anja Hippmann

Personen
Vorname "Denis" (12386)
Name "Firsov" (39)

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

Denis Firsov und University Of Technology Person-Info