default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fscd/fscd2024.bht:"
download as .bib file
@inproceedings{DBLP:conf/fscd/00010S24,
author = {Takahito Aoto and
Naoki Nishida and
Jonas Sch{\"{o}}pf},
editor = {Jakob Rehof},
title = {Equational Theories and Validity for Logically Constrained Term Rewriting},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {31:1--31:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.31},
doi = {10.4230/LIPICS.FSCD.2024.31},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/00010S24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/0001RPP24,
author = {Junyoung Jang and
Sophia Roshal and
Frank Pfenning and
Brigitte Pientka},
editor = {Jakob Rehof},
title = {Adjoint Natural Deduction},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {15:1--15:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.15},
doi = {10.4230/LIPICS.FSCD.2024.15},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/0001RPP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/000224,
author = {Sebastian Ullrich},
editor = {Jakob Rehof},
title = {Lean: Past, Present, and Future (Invited Talk)},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {3:1--3:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.3},
doi = {10.4230/LIPICS.FSCD.2024.3},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/000224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/AbramskyCC24,
author = {Samson Abramsky and
Serban{-}Ion Cercelescu and
Carmen{-}Maria Constantin},
editor = {Jakob Rehof},
title = {Commutation Groups and State-Independent Contextuality},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {28:1--28:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.28},
doi = {10.4230/LIPICS.FSCD.2024.28},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/AbramskyCC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/AccattoliC24,
author = {Beniamino Accattoli and
Claudio Sacerdoti Coen},
editor = {Jakob Rehof},
title = {{IMELL} Cut Elimination with Linear Overhead},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {24:1--24:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.24},
doi = {10.4230/LIPICS.FSCD.2024.24},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/AccattoliC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/AccattoliL24,
author = {Beniamino Accattoli and
Adrienne Lancelot},
editor = {Jakob Rehof},
title = {Mirroring Call-By-Need, or Values Acting Silly},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {23:1--23:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.23},
doi = {10.4230/LIPICS.FSCD.2024.23},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/AccattoliL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/BaaderG24,
author = {Franz Baader and
J{\"{u}}rgen Giesl},
editor = {Jakob Rehof},
title = {On the Complexity of the Small Term Reachability Problem for Terminating
Term Rewriting Systems},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {16:1--16:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.16},
doi = {10.4230/LIPICS.FSCD.2024.16},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/BaaderG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/BiernackaBLS24,
author = {Malgorzata Biernacka and
Dariusz Biernacki and
Sergue{\"{\i}} Lenglet and
Alan Schmitt},
editor = {Jakob Rehof},
title = {Optimizing a Non-Deterministic Abstract Machine with Environments},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {11:1--11:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.11},
doi = {10.4230/LIPICS.FSCD.2024.11},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/BiernackaBLS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/CanoHKKM24,
author = {Filip Cano and
Thomas A. Henzinger and
Bettina K{\"{o}}nighofer and
Konstantin Kueffner and
Kaushik Mallik},
editor = {Jakob Rehof},
title = {Abstraction-Based Decision Making for Statistical Properties (Invited
Talk)},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {2:1--2:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.2},
doi = {10.4230/LIPICS.FSCD.2024.2},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/CanoHKKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/ChampinMO24,
author = {Camil Champin and
Samuel Mimram and
{\'{E}}mile Oleon},
editor = {Jakob Rehof},
title = {Delooping Generated Groups in Homotopy Type Theory},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {6:1--6:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.6},
doi = {10.4230/LIPICS.FSCD.2024.6},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/ChampinMO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/ChardonnetLV24,
author = {Kostia Chardonnet and
Louis Lemonnier and
Beno{\^{\i}}t Valiron},
editor = {Jakob Rehof},
title = {Semantics for a Turing-Complete Reversible Programming Language with
Inductive Types},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {19:1--19:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.19},
doi = {10.4230/LIPICS.FSCD.2024.19},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/ChardonnetLV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/CorbynHHSTV24,
author = {Nathan Corbyn and
Lukas Heidemann and
Nick Hu and
Chiara Sarti and
Calin Tataru and
Jamie Vicary},
editor = {Jakob Rehof},
title = {homotopy.io: {A} Proof Assistant for Finitely-Presented Globular n-Categories},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {30:1--30:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.30},
doi = {10.4230/LIPICS.FSCD.2024.30},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/CorbynHHSTV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Donato24,
author = {Pablo Donato},
editor = {Jakob Rehof},
title = {The Flower Calculus},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {5:1--5:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.5},
doi = {10.4230/LIPICS.FSCD.2024.5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Donato24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/DoreCM24,
author = {Maximilian Dor{\'{e}} and
Evan Cavallo and
Anders M{\"{o}}rtberg},
editor = {Jakob Rehof},
title = {Automating Boundary Filling in Cubical Agda},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {22:1--22:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.22},
doi = {10.4230/LIPICS.FSCD.2024.22},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/DoreCM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/DudenhefnerP24,
author = {Andrej Dudenhefner and
Daniele Pautasso},
editor = {Jakob Rehof},
title = {Mechanized Subject Expansion in Uniform Intersection Types for Perpetual
Reductions},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {8:1--8:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.8},
doi = {10.4230/LIPICS.FSCD.2024.8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/DudenhefnerP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/DufourM24,
author = {Alo{\"{y}}s Dufour and
Damiano Mazza},
editor = {Jakob Rehof},
title = {B{\"{o}}hm and Taylor for All!},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {29:1--29:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.29},
doi = {10.4230/LIPICS.FSCD.2024.29},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/DufourM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/FelicissimoW24,
author = {Thiago Felicissimo and
Th{\'{e}}o Winterhalter},
editor = {Jakob Rehof},
title = {Impredicativity, Cumulativity and Product Covariance in the Logical
Framework Dedukti},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {21:1--21:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.21},
doi = {10.4230/LIPICS.FSCD.2024.21},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/FelicissimoW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/GuBH0Z24,
author = {Tao Gu and
Jialu Bao and
Justin Hsu and
Alexandra Silva and
Fabio Zanasi},
editor = {Jakob Rehof},
title = {A Categorical Approach to {DIBI} Models},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {17:1--17:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.17},
doi = {10.4230/LIPICS.FSCD.2024.17},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/GuBH0Z24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/GuillemetMP24,
author = {Beno{\^{\i}}t Guillemet and
Assia Mahboubi and
Matthieu Piquerez},
editor = {Jakob Rehof},
title = {Machine-Checked Categorical Diagrammatic Reasoning},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {7:1--7:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.7},
doi = {10.4230/LIPICS.FSCD.2024.7},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/GuillemetMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/HerbelinK24,
author = {Hugo Herbelin and
Jad Koleilat},
editor = {Jakob Rehof},
title = {On the Logical Structure of Some Maximality and Well-Foundedness Principles
Equivalent to Choice Principles},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {26:1--26:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.26},
doi = {10.4230/LIPICS.FSCD.2024.26},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/HerbelinK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/ItoT24,
author = {Sohei Ito and
Makoto Tatsuta},
editor = {Jakob Rehof},
title = {Representation of Peano Arithmetic in Separation Logic},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {18:1--18:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.18},
doi = {10.4230/LIPICS.FSCD.2024.18},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/ItoT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/KaposiX24,
author = {Ambrus Kaposi and
Szumi Xie},
editor = {Jakob Rehof},
title = {Second-Order Generalised Algebraic Theories: Signatures and First-Order
Semantics},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {10:1--10:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.10},
doi = {10.4230/LIPICS.FSCD.2024.10},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/KaposiX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Kavvos24,
author = {Georgios Alexandros Kavvos},
editor = {Jakob Rehof},
title = {Two-Dimensional Kripke Semantics {I:} Presheaves},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {14:1--14:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.14},
doi = {10.4230/LIPICS.FSCD.2024.14},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Kavvos24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/KerjeanL24,
author = {Marie Kerjean and
Jean{-}Simon Pacaud Lemay},
editor = {Jakob Rehof},
title = {Laplace Distributors and Laplace Transformations for Differential
Categories},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {9:1--9:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.9},
doi = {10.4230/LIPICS.FSCD.2024.9},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/KerjeanL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/KesnerAG24,
author = {Delia Kesner and
Victor Arrial and
Giulio Guerrieri},
editor = {Jakob Rehof},
title = {Meaningfulness and Genericity in a Subsuming Framework (Invited Talk)},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {1:1--1:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.1},
doi = {10.4230/LIPICS.FSCD.2024.1},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/KesnerAG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Lucas24,
author = {Salvador Lucas},
editor = {Jakob Rehof},
title = {Termination of Generalized Term Rewriting Systems},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {32:1--32:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.32},
doi = {10.4230/LIPICS.FSCD.2024.32},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Lucas24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/MatthesWA24,
author = {Ralph Matthes and
Kobe Wullaert and
Benedikt Ahrens},
editor = {Jakob Rehof},
title = {Substitution for Non-Wellfounded Syntax with Binders Through Monoidal
Categories},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {25:1--25:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.25},
doi = {10.4230/LIPICS.FSCD.2024.25},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/MatthesWA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/OliveiraV24,
author = {Mateus de Oliveira Oliveira and
Farhad Vadiee},
editor = {Jakob Rehof},
title = {State Canonization and Early Pruning in Width-Based Automated Theorem
Proving},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {33:1--33:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.33},
doi = {10.4230/LIPICS.FSCD.2024.33},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/OliveiraV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/SaitoH24,
author = {Teppei Saito and
Nao Hirokawa},
editor = {Jakob Rehof},
title = {Simulating Dependency Pairs by Semantic Labeling},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {13:1--13:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.13},
doi = {10.4230/LIPICS.FSCD.2024.13},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/SaitoH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/SannierB24,
author = {Victor Sannier and
Patrick Baillot},
editor = {Jakob Rehof},
title = {A Linear Type System for Lp-Metric Sensitivity Analysis},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {12:1--12:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.12},
doi = {10.4230/LIPICS.FSCD.2024.12},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/SannierB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Thiemann024,
author = {Ren{\'{e}} Thiemann and
Akihisa Yamada},
editor = {Jakob Rehof},
title = {A Verified Algorithm for Deciding Pattern Completeness},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.27},
doi = {10.4230/LIPICS.FSCD.2024.27},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Thiemann024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Torres-RuizP0Z24,
author = {Mateo Torres{-}Ruiz and
Robin Piedeleu and
Alexandra Silva and
Fabio Zanasi},
editor = {Jakob Rehof},
title = {On Iteration in Discrete Probabilistic Programming},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {20:1--20:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.20},
doi = {10.4230/LIPICS.FSCD.2024.20},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Torres-RuizP0Z24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Weide24,
author = {Niels van der Weide},
editor = {Jakob Rehof},
title = {Univalent Enriched Categories and the Enriched Rezk Completion},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {4:1--4:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.4},
doi = {10.4230/LIPICS.FSCD.2024.4},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Weide24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/X24,
editor = {Jakob Rehof},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {0:i--0:xviii},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.0},
doi = {10.4230/LIPICS.FSCD.2024.0},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/X24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fscd/2024,
editor = {Jakob Rehof},
title = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-323-2},
isbn = {978-3-95977-323-2},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-09-12 17:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
