Yutaka Nagashima und Induction - Info zur Person

(1 - 9 von 9

)

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN...

books.google.de

Smart. Induction. for. Isabelle/HOL. (Tool. Paper). Yutaka Nagashima CIIRC, Czech Technical University in Prague University of Innsbruck Email: ...

[ ] Faster Smarter Induction in Isabelle/HOL

arxiv.org

From: Yutaka Nagashima [view email] [v1] Sat, 19 Sep :51:54 UTC (689 KB) [v2] Fri, 9 Oct :05:41 UTC (689 KB)

Language to Encode Induction Heuristics for Isabelle/HOL

arxiv.org

von Y Nagashima · · Zitiert von: 10 — From: Yutaka Nagashima [view email] [v1] Wed, 19 Jun :04:54 UTC (222 KB) [v2] Fri, 12 Jul :22:43 UTC (222 KB) von Y Nagashima · · Zitiert von: 2 — Submission history. From: Yutaka Nagashima [view email] [v1] Mon, 19 Oct :05:09 UTC (382 KB). › cs

Faster Smarter Induction in Isabelle HOL by Yutaka Nagashima - YouTube

www.youtube.com

The official channel of the NUS Department of Computer Science

Accepted Papers · FMCAD :: Formal Methods in Computer ...

fmcad.forsyte.at

... Synthesis from Extended Bounded Response LTL Specifications Yutaka Nagashima Smart Induction for Isabelle/HOL (Tool Paper) Sepideh Asadi, Martin Blicha, ...

AI4REASON

ai4reason.org

Yutaka Nagashima. Faster Smarter Proof by Induction in Isabelle/HOL. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, ... › activities

Faster Smarter Proof by Induction in Isabelle/HOL | IJCAI

www.ijcai.org

Yutaka Nagashima. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Main Track. Pages › proceedings

Proceedings of Formal Methods in Computer-Aided Design ...

repositories.lib.utexas.edu

von A Ivrii · — 236) -- Smart Induction for Isabelle/HOL (Tool Paper) / by Yutaka Nagashima (p. 245) -- Trace Logic for Inductive Loop Reasoning / by Pamina Georgiou, ... › ...

Can Proof Technology Even Do this?

cs.nyu.edu

— ... when to apply induction (however I was recently on Yutaka Nagashima's thesis committee and he has been trying to come up with heuristics ... › March

Alle Infos zum Namen "Yutaka Nagashima"

Verwandte Suchanfragen zu Yutaka Nagashima

Gabriele Keller
Gerwin Klein
Toby Murray

Christine Rizkallah

Person "Nagashima" (1)
Vorname "Yutaka" (125)
Name "Nagashima" (112)

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

Yutaka Nagashima und Induction Person-Info