Certifying the Weighted Path Order (Invited Talk) (Englisch)
Freier Zugriff
- Neue Suche nach: Thiemann, René
- Weitere Informationen zu Thiemann, René:
- https://orcid.org/0000-0002-0323-8829
- Neue Suche nach: Schöpf, Jonas
- Weitere Informationen zu Schöpf, Jonas:
- https://orcid.org/0000-0001-5908-8519
- Neue Suche nach: Sternagel, Christian
- Weitere Informationen zu Sternagel, Christian:
- https://orcid.org/0000-0001-9864-1014
- Neue Suche nach: Yamada, Akihisa
- Weitere Informationen zu Yamada, Akihisa:
- https://orcid.org/0000-0001-8872-2240
- Neue Suche nach: Thiemann, René
- Weitere Informationen zu Thiemann, René:
- https://orcid.org/0000-0002-0323-8829
- Neue Suche nach: Schöpf, Jonas
- Weitere Informationen zu Schöpf, Jonas:
- https://orcid.org/0000-0001-5908-8519
- Neue Suche nach: Sternagel, Christian
- Weitere Informationen zu Sternagel, Christian:
- https://orcid.org/0000-0001-9864-1014
- Neue Suche nach: Yamada, Akihisa
- Weitere Informationen zu Yamada, Akihisa:
- https://orcid.org/0000-0001-8872-2240
- Neue Suche nach: Ariola, Zena M.
In:
LIPIcs, Volume 167, FSCD 2020
: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
;
167
;
4:1-4:20
;
2020
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Certifying the Weighted Path Order (Invited Talk)
-
Beteiligte:Thiemann, René ( Autor:in ) / Schöpf, Jonas ( Autor:in ) / Sternagel, Christian ( Autor:in ) / Yamada, Akihisa ( Autor:in ) / Ariola, Zena M. ( Herausgeber:in )
-
Erschienen in:LIPIcs, Volume 167, FSCD 2020 : 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) ; 167 ; 4:1-4:20Leibniz International Proceedings in Informatics (LIPIcs) ; 167 ; 4:1-4:20
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:28.06.2020
-
Format / Umfang:20 pages , 571952 byte
-
Anmerkungen:LIPIcs, Vol. 167, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), pages 4:1-4:20
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Solvability in a Probabilistic Setting (Invited Talk)Ronchi Della Rocca, Simona / Dal Lago, Ugo / Faggian, Claudia et al. | 2020
- 2
-
A Modal Analysis of Metaprogramming, Revisited (Invited Talk)Pientka, Brigitte et al. | 2020
- 3
-
Quotients in Dependent Type Theory (Invited Talk)Pitts, Andrew M. et al. | 2020
- 4
-
Certifying the Weighted Path Order (Invited Talk)Thiemann, René / Schöpf, Jonas / Sternagel, Christian / Yamada, Akihisa et al. | 2020
- 5
-
Efficient Full Higher-Order UnificationVukmirović, Petar / Bentkamp, Alexander / Nummelin, Visa et al. | 2020
- 6
-
Comprehension and Quotient Structures in the Language of 2-CategoriesMelliès, Paul-André / Rolland, Nicolas et al. | 2020
- 7
-
A Complete Normal-Form Bisimilarity for Algebraic Effects and HandlersBiernacki, Dariusz / Lenglet, Sergueï / Polesiuk, Piotr et al. | 2020
- 8
-
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene AlgebraBrunet, Paul / Pym, David et al. | 2020
- 9
-
Undecidability of Semi-Unification on a NapkinDudenhefner, Andrej et al. | 2020
- 10
-
Conditional Bisimilarity for Reactive SystemsHülsbusch, Mathias / König, Barbara / Küpper, Sebastian / Stoltenow, Lara et al. | 2020
- 11
-
A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting SystemsYamaguchi, Masaomi / Aoto, Takahito et al. | 2020
- 12
-
Modules over Monads and Operational SemanticsHirschowitz, André / Hirschowitz, Tom / Lafont, Ambroise et al. | 2020
- 13
-
Type Safety of Rewrite Rules in Dependent TypesBlanqui, Frédéric et al. | 2020
- 14
-
Refining Constructive Hybrid GamesBohrer, Rose / Platzer, André et al. | 2020
- 15
-
Data-Flow Analyses as Effects and Graded MonadsIvašković, Andrej / Mycroft, Alan / Orchard, Dominic et al. | 2020
- 16
-
A Profunctorial Scott SemanticsGalal, Zeinab et al. | 2020
- 17
-
String Diagrams for OpticsBoisseau, Guillaume et al. | 2020
- 18
-
A Reflection on Continuation-Composing StyleBiernacki, Dariusz / Pyzik, Mateusz / Sieczkowski, Filip et al. | 2020
- 19
-
A Probabilistic Higher-Order Fixpoint LogicMitani, Yo / Kobayashi, Naoki / Tsukada, Takeshi et al. | 2020
- 20
-
Adaptive Non-Linear Pattern Matching AutomataErkens, Rick / Laveaux, Maurice et al. | 2020
- 21
-
On Average-Case Hardness of Higher-Order Model CheckingNakamura, Yoshiki / Asada, Kazuyuki / Kobayashi, Naoki / Sin'ya, Ryoma / Tsukada, Takeshi et al. | 2020
- 22
-
Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree GrammarsAsada, Kazuyuki / Kobayashi, Naoki et al. | 2020
- 23
-
A Syntax for Mutual Inductive FamiliesKaposi, Ambrus / von Raumer, Jakob et al. | 2020
- 24
-
Towards Constructive Hybrid SemanticsDiezel, Tim Lukas / Goncharov, Sergey et al. | 2020
- 25
-
A Gentzen-Style Monadic Translation of Gödel’s System TXu, Chuangjie et al. | 2020
- 26
-
Unital Anti-Unification: Type and AlgorithmsCerna, David M. / Kutsia, Temur et al. | 2020
- 27
-
Symbolic Execution Game SemanticsLin, Yu-Yang / Tzevelekos, Nikos et al. | 2020
- 28
-
Strongly Normalizing Higher-Order Relational QueriesRicciotti, Wilmer / Cheney, James et al. | 2020
- 29
-
Semi-Axiomatic Sequent CalculusDeYoung, Henry / Pfenning, Frank / Pruiksma, Klaas et al. | 2020
- 30
-
Constraint Solving over Multiple Similarity RelationsDundua, Besik / Kutsia, Temur / Marin, Mircea / Pau, Cleopatra et al. | 2020
- 31
-
Encoding Agda Programs Using RewritingGenestier, Guillaume et al. | 2020
- 32
-
The Difference λ-Calculus: A Language for Difference CategoriesAlvarez-Picallo, Mario / Ong, C.-H. Luke et al. | 2020
- 33
-
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)Das, Ankush / Pfenning, Frank et al. | 2020
- 34
-
Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description)Cohen, Cyril / Sakaguchi, Kazuhiko / Tassi, Enrico et al. | 2020
- 35
-
The New Rewriting Engine of Dedukti (System Description)Hondet, Gabriel / Blanqui, Frédéric et al. | 2020
- 36
-
WANDA - a Higher Order Termination Tool (System Description)Kop, Cynthia et al. | 2020
- 37
-
A Type Checker for a Logical Framework with Union and Intersection Types (System Description)Stolze, Claude / Liquori, Luigi et al. | 2020