![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
7th FSCD 2022: Haifa, Israel
- Amy P. Felty
:
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel. LIPIcs 228, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-233-4 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:18
- Cynthia Kop:
Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk). 1:1-1:17 - Alwen Tiu:
A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk). 2:1-2:4 - Francesco Dagnino, Francesco Gavazzo
:
A Fibrational Tale of Operational Logical Relations. 3:1-3:21 - Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone:
On Quantitative Algebraic Higher-Order Theories. 4:1-4:18 - Jonathan Sterling
, Robert Harper:
Sheaf Semantics of Termination-Insensitive Noninterference. 5:1-5:19 - Serdar Erbatur, Andrew M. Marshall
, Christophe Ringeissen:
Combined Hierarchical Matching: the Regular Case. 6:1-6:22 - Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho:
Nominal Anti-Unification with Atom-Variables. 7:1-7:22 - Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho:
A Certified Algorithm for AC-Unification. 8:1-8:21 - Marc Hermes
, Dominik Kirst:
An Analysis of Tennenbaum's Theorem in Constructive Type Theory. 9:1-9:19 - Liron Cohen, Vincent Rahli
:
Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. 10:1-10:23 - Samuel Mimram, Émile Oleon:
Division by Two, in Homotopy Type Theory. 11:1-11:17 - Siva Somayyajula, Frank Pfenning:
Type-Based Termination for Futures. 12:1-12:21 - Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova:
Addition and Differentiation of ZX-Diagrams. 13:1-13:19 - Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof:
Restricting Tree Grammars with Term Rewriting. 14:1-14:19 - Nariyoshi Chida, Tachio Terauchi:
On Lookaheads in Regular Expressions with Backreferences. 15:1-15:18 - Andrej Dudenhefner
:
Certified Decision Procedures for Two-Counter Machines. 16:1-16:18 - Claudia Faggian, Giulio Guerrieri
:
Strategies for Asymptotic Normalization. 17:1-17:24 - Delia Kesner, Loïc Peyrot
:
Solvability for Generalized Applications. 18:1-18:22 - Willem B. Heijltjes
, Dominic J. D. Hughes, Lutz Straßburger:
Normalization Without Syntax. 19:1-19:19 - Anupam Das
, Abhishek De, Alexis Saurin:
Decision Problems for Linear Logic with Least and Greatest Fixed Points. 20:1-20:20 - Alejandro Díaz-Caro, Gilles Dowek:
Linear Lambda-Calculus is Linear. 21:1-21:17 - Matteo Acclavio
, Ross Horne, Sjouke Mauw, Lutz Straßburger:
A Graphical Proof Theory of Logical Time. 22:1-22:25 - Daniel Gratzer
, Lars Birkedal:
A Stratified Approach to Löb Induction. 23:1-23:22 - Frédéric Blanqui:
Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity. 24:1-24:14 - Thiago Felicissimo:
Adequate and Computational Encodings in the Logical Framework Dedukti. 25:1-25:18 - Clément Aubert
, Thomas Rubiano, Neea Rusch
, Thomas Seiller
:
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. 26:1-26:23 - Fabian Mitterwallner, Aart Middeldorp:
Polynomial Termination Over ℕ Is Undecidable. 27:1-27:17 - Kiraku Shintani, Nao Hirokawa:
Compositional Confluence Criteria. 28:1-28:19 - Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
:
Rewriting for Monoidal Closed Categories. 29:1-29:20 - Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas
, Henning Urbat:
Stateful Structural Operational Semantics. 30:1-30:19 - Marcelo Fiore, Zeinab Galal, Hugo Paquet:
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. 31:1-31:19 - Dylan McDermott
, Alan Mycroft:
Galois Connecting Call-by-Value and Call-by-Name. 32:1-32:19
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.