Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Noschinski, Lars"'
Autor:
Noschinski, Lars, Traut, Christoph
This article presents a pattern-based language designed to select (a set of) subterms of a given term in a concise and robust way. Building on this language, we implement a single-step rewriting tactic in the Isabelle theorem prover, which removes th
Externí odkaz:
http://arxiv.org/abs/2111.04082
Autor:
Noschinski, Lars
This thesis studies the formalization of graphs in the Isabelle/HOL proof assistant. It describes a library for directed graphs and discusses its usage for undirected graphs and certificates of planarity. A new technique for structuring and presentin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::cae60b07a147ed9f07172f9b39642638
https://mediatum.ub.tum.de/doc/1278868/document.pdf
https://mediatum.ub.tum.de/doc/1278868/document.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings; 2014, p46-61, 16p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Noschinski, Lars
Publikováno v:
Mathematics in Computer Science; Mar2015, Vol. 9 Issue 1, p23-39, 17p
Autor:
Blanchette, Jasmin Christian, Hupel, Lars, Nipkow, Tobias, Noschinski, Lars, Traytel, Dmitriy
Publikováno v:
ACM / SIGPLAN Notices; Dec2014, Vol. 49 Issue 12, p25-30, 6p
Autor:
Noschinski, Lars
Publikováno v:
Interactive Theorem Proving (9783642323461); 2012, p393-404, 12p