Denis Firsov - Wissenschaftliche Veröffentlichungen

(1 - 12 von 13

)

Journal of Logical and Algebraic Methods in Programming | The 24th...

www.sciencedirect.com

Certified CYK parsing of context-free languages. Denis Firsov, Tarmo Uustalu. Pages : Download PDF. Article preview ...

dblp: Denis Firsov

dblp.uni-trier.de

List of computer science publications by Denis Firsov

Denis Firsov - DBLPdblp.org › Persons

dblp.org

· Denis Firsov, Henri Lakk, Ahto Truu: Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping.

dblp: BibTeX records: Denis Firsov

dblp.uni-trier.de

List of computer science publications by BibTeX records: Denis Firsov

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.