Autor: "A. Sternagel" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Certified Equational Reasoning via Ordered Completion
Autorzy:: Sternagel, Christian
Winkler, Sarah; Pokaż więcej
Źródło:: Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. 11716:508-525

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The Termination and Complexity Competition
Autorzy:: Giesl, Jürgen
Rubio, Albert
Sternagel, Christian
Waldmann, Johannes
Yamada, Akihisa; Pokaż więcej
Źródło:: Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. 11429:156-166

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: nonreach – A Tool for Nonreachability Analysis
Autorzy:: Meßner, Florian
Sternagel, Christian; Pokaż więcej
Źródło:: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. 11427:337-343

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Reachability Analysis for Termination and Confluence of Rewriting
Autorzy:: Sternagel, Christian
Yamada, Akihisa; Pokaż więcej
Źródło:: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. 11427:262-278

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems
Autorzy:: Sternagel, Christian
Sternagel, Thomas; Pokaż więcej
Źródło:: Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. 10395:413-431

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Formally Verified Solver for Homogeneous Linear Diophantine Equations
Autorzy:: Meßner, Florian
Parsert, Julian
Schöpf, Jonas
Sternagel, Christian; Pokaż więcej
Źródło:: Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. 10895:441-458

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
Autorzy:: Biendarra, Julian
Blanchette, Jasmin ChristianAff16, Aff17
Bouzy, Aymeric
Desharnais, Martin
Fleury, Mathias
Hölzl, Johannes
Kunčar, Ondřej
Lochbihler, Andreas
Meier, Fabian
Panny, Lorenz
Popescu, AndreiAff24, Aff25
Sternagel, Christian
Thiemann, René
Traytel, Dmitriy; Pokaż więcej
Źródło:: Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 10483:3-21

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Deriving Comparators and Show Functions in Isabelle/HOL
Autorzy:: Sternagel, Christian
Thiemann, René; Pokaż więcej
Źródło:: Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. 9236:421-437

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A New and Formalized Proof of Abstract Completion
Autorzy:: Hirokawa, Nao
Middeldorp, Aart
Sternagel, Christian; Pokaż więcej
Źródło:: Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. 8558:292-307

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs
Autorzy:: Sternagel, Christian
Thiemann, René; Pokaż więcej
Źródło:: Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. 8560:441-455

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Conditional Confluence (System Description)
Autorzy:: Sternagel, Thomas
Middeldorp, Aart; Pokaż więcej
Źródło:: Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. 8560:456-465

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Certified Kruskal’s Tree Theorem
Autorzy:: Sternagel, Christian; Pokaż więcej
Źródło:: Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. 8307:178-193

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Certification of Nontermination Proofs
Autorzy:: Sternagel, Christian
Thiemann, René; Pokaż więcej
Źródło:: Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. 7406:266-282

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: KBCV – Knuth-Bendix Completion Visualizer
Autorzy:: Sternagel, ThomasAff22, Aff23
Zankl, Harald; Pokaż więcej
Źródło:: Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. 7364:530-536

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Generalized and Formalized Uncurrying
Autorzy:: Sternagel, Christian
Thiemann, René; Pokaż więcej
Źródło:: Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings. 6989:243-258

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Termination of Isabelle Functions via Termination of Rewriting
Autorzy:: Krauss, Alexander
Sternagel, Christian
Thiemann, René
Fuhs, Carsten
Giesl, Jürgen; Pokaż więcej
Źródło:: Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. 6898:152-167

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Signature Extensions Preserve Termination : An Alternative Proof via Dependency Pairs
Autorzy:: Sternagel, Christian
Thiemann, René; Pokaż więcej
Źródło:: Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. 6247:514-528

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Finding and Certifying Loops
Autorzy:: Zankl, Harald
Sternagel, Christian
Hofbauer, Dieter
Middeldorp, Aart; Pokaż więcej
Źródło:: SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings. 5901:755-766

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Certification of Termination Proofs Using CeTA
Autorzy:: Thiemann, René
Sternagel, Christian; Pokaż więcej
Źródło:: Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. 5674:452-468

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Loops under Strategies
Autorzy:: Thiemann, René
Sternagel, Christian; Pokaż więcej
Źródło:: Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings. 5595:17-31

Książka elektroniczna

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""A. Sternagel"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język