FroCoS

Keyphrases

Publications

2023

Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Finite Combination Properties: Finite Models and Busy Beavers. FroCoS (2023)
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett
Formal Verification of Bit-Vector Invertibility Conditions in Coq. FroCoS (2023)
Olle Torstensson, Tjark Weber
Hammering Floating-Point Arithmetic. FroCoS (2023)
Chad E. Brown, Adam Pease, Josef Urban
Translating SUMO-K to Higher-Order Set Theory. FroCoS (2023)
Sibylle Möhle
An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. FroCoS (2023)
Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach
KBO Constraint Solving Revisited. FroCoS (2023)
Nils Lommen, Jürgen Giesl
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. FroCoS (2023)
Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk, Josef Urban
Learning Proof Transformations and Its Applications in Interactive Theorem Proving. FroCoS (2023)
Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid
Logic of Communication Interpretation: How to Not Get Lost in Translation. FroCoS (2023)
Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller
Formal Reasoning Using Distributed Assertions. FroCoS (2023)
Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen
Recurrence-Driven Summations in Automated Deduction. FroCoS (2023)
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
Symbolic Model Construction for Saturated Constrained Horn Clauses. FroCoS (2023)
Ryota Haga, Yuki Kagaya, Takahito Aoto
A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems. FroCoS (2023)
Teppei Saito, Nao Hirokawa
Weighted Path Orders Are Semantic Path Orders. FroCoS (2023)

volume 14279, 2023

Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings FroCoS 14279 (2023)

2021

volume 12941, 2021

Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings FroCoS 12941 (2021)

volume 11715, 2019

Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings FroCoS 11715 (2019)

2017

volume 10483, 2017

Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings FroCoS 10483 (2017)