Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th FroCos 2023: Prague, Czech Republic
- Uli Sattler, Martin Suda:
Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14279, Springer 2023, ISBN 978-3-031-43368-9
Analysis of Programs and Equations
- Nils Lommen
, Jürgen Giesl:
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. 3-22 - Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen:
Recurrence-Driven Summations in Automated Deduction. 23-40 - Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett:
Formal Verification of Bit-Vector Invertibility Conditions in Coq. 41-59
Unification
- Teppei Saito, Nao Hirokawa:
Weighted Path Orders Are Semantic Path Orders. 63-80 - Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach:
KBO Constraint Solving Revisited. 81-98 - Ryota Haga, Yuki Kagaya, Takahito Aoto:
A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems. 99-116
Decidable Fragments
- Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid:
Logic of Communication Interpretation: How to Not Get Lost in Translation. 119-136 - Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach:
Symbolic Model Construction for Saturated Constrained Horn Clauses. 137-155
Frameworks
- Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett:
Combining Finite Combination Properties: Finite Models and Busy Beavers. 159-175 - Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller:
Formal Reasoning Using Distributed Assertions. 176-194 - Sibylle Möhle:
An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. 195-213
Higher-Order Theorem Proving
- Olle Torstensson, Tjark Weber:
Hammering Floating-Point Arithmetic. 217-235 - Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk, Josef Urban:
Learning Proof Transformations and Its Applications in Interactive Theorem Proving. 236-254 - Chad E. Brown, Adam Pease, Josef Urban:
Translating SUMO-K to Higher-Order Set Theory. 255-274
a service of 
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.
last updated on 2024-05-14 21:27 CEST 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:
