International Conference on Formal Structures for Computation and Deduction

FSCD

CORE rank

CORE rank (raw)

Fields of research

Theory of Computation

Papers indexed

243

2020–2026

Best Theory of Computation conferences

Papers per year

202038 peak2026

Most published authors

FSCD papers

243 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2020	Encoding Agda Programs Using Rewriting.	Guillaume Genestier
2020	A Profunctorial Scott Semantics.	Zeinab Galal
2020	Adaptive Non-Linear Pattern Matching Automata.	Rick Erkens, Maurice Laveaux
2020	Constraint Solving over Multiple Similarity Relations.	Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau
2020	Undecidability of Semi-Unification on a Napkin.	Andrej Dudenhefner
2020	Towards Constructive Hybrid Semantics.	Tim Lukas Diezel, Sergey Goncharov
2020	Semi-Axiomatic Sequent Calculus.	Henry DeYoung, Frank Pfenning, Klaas Pruiksma
2020	Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description).	Ankush Das, Frank Pfenning
2020	Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description).	Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi
2020	Unital Anti-Unification: Type and Algorithms.	David M. Cerna, Temur Kutsia
2020	Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.	Paul Brunet, David J. Pym
2020	String Diagrams for Optics.	Guillaume Boisseau
2020	Refining Constructive Hybrid Games.	Rose Bohrer, Andr Platzer
2020	Type Safety of Rewrite Rules in Dependent Types.	Frdric Blanqui
2020	A Reflection on Continuation-Composing Style.	Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
2020	A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.	Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk
2020	Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars.	Kazuyuki Asada, Naoki Kobayashi
2020	The Difference λ-Calculus: A Language for Difference Categories.	Mario Alvarez-Picallo, C.-H. Luke Ong

226–243 of 243← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.