Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Olle Torstensson, Tjark Weber |
Hammering Floating-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 217-235, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ryota Haga, Yuki Kagaya, Takahito Aoto 0001 |
A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 99-116, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen |
Recurrence-Driven Summations in Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 23-40, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chad E. Brown, Adam Pease, Josef Urban |
Translating SUMO-K to Higher-Order Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 255-274, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nils Lommen, Jürgen Giesl |
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 3-22, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle Möhle |
An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 195-213, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach |
Symbolic Model Construction for Saturated Constrained Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 137-155, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Teppei Saito, Nao Hirokawa |
Weighted Path Orders Are Semantic Path Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 63-80, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett |
Formal Verification of Bit-Vector Invertibility Conditions in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 41-59, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach |
KBO Constraint Solving Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 81-98, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Uli Sattler, Martin Suda 0001 (eds.) |
Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![Springer, 978-3-031-43368-9 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller 0001 |
Formal Reasoning Using Distributed Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 176-194, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk, Josef Urban |
Learning Proof Transformations and Its Applications in Interactive Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 236-254, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett |
Combining Finite Combination Properties: Finite Models and Busy Beavers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 159-175, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid 0001 |
Logic of Communication Interpretation: How to Not Get Lost in Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 119-136, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002, Alvaro Velasquez |
On the Copy Complexity of Width 3 Horn Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 63-78, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hai Lin 0005, Christopher Lynch |
Formal Analysis of Symbolic Authenticity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 271-286, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban |
Fast and Slow Enigmas and Parental Guidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 173-191, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Sakr, Renate A. Schmidt |
Semantic Forgetting in Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 118-136, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach |
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 3-24, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Qingxiang Wang, Cezary Kaliszyk |
JEFL: Joint Embedding of Formal Proof Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 154-170, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Suda 0001 |
Vampire with a Brain Is a Good ITP Hammer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 192-209, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fontaine, Hans-Jörg Schurr |
Quantifier Simplification by Unification in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 232-249, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hai Lin 0005, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek |
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 253-270, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Boris Konev, Giles Reger (eds.) |
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![Springer, 978-3-030-86204-6 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin |
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 213-231, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Defourné |
Improving Automation for Higher-Order Proof Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 139-153, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv |
Restricted Unification in the DL ℱ0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 81-97, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Non-disjoint Combined Unification and Closure by Equational Paramodulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 25-42, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Laine E. Rumreich, Paolo A. G. Sivilotti |
Formal Verification of a Java Component Using the RESOLVE Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 287-305, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
Combining Event Calculus and Description Logic Reasoning via Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 98-117, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Peuter, Viorica Sofronie-Stokkermans |
Symbol Elimination and Applications to Parametric Entailment Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 43-62, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Herzig, Andrei Popescu 0001 (eds.) |
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![Springer, 978-3-030-29006-1 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar |
On Asymmetric Unification for the Theory of XOR with a Homomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 297-312, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roman Kuznets, Laurent Prosperi, Ulrich Schmid 0001, Krisztina Fruzsa |
Epistemic Reasoning with Byzantine-Faulty Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 259-276, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Warren Del-Pinto, Renate A. Schmidt |
Extending Forgetting-Based Abduction Using Nominals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 185-202, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Rawson 0001, Giles Reger |
A Neurally-Guided, Parallel Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 40-56, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dohan Kim 0001, Christopher Lynch, Paliath Narendran |
Reviving Basic Narrowing Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 313-329, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Filippo De Bortoli |
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 203-219, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Fuenmayor, Christoph Benzmüller |
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 112-128, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eugenia Ternovska |
An Algebra of Modular Systems: Static and Dynamic Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 94-111, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Indrzejczak |
Two Is Enough - Bisequent Calculus for S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 277-294, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Fuhs |
Transforming Derivational Complexity of Term Rewriting to Runtime Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 348-364, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Teucke, Marco Voigt, Christoph Weidenbach |
On the Expressivity and Applicability of Model Representation Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 22-39, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001, Yoshihito Toyama |
Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 330-347, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alireza Ensan, Eugenia Ternovska |
A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 57-73, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans Kleine Büning, Piotr Wojciechowski 0002, R. Chandrasekaran, K. Subramani 0001 |
Restricted Cutting Plane Proofs in Horn Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 149-164, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller |
A CDCL-Style Calculus for Solving Non-linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 131-148, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Eberl |
Verifying Randomised Social Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 240-256, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, Martin Riener, Martin Suda 0001 |
Symmetry Avoidance in MACE-Style Finite Model Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 3-21, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm |
The Complexity of the Consistency Problem in the Probabilistic Description Logic ℒME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 167-184, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mnacho Echenim, Nicolas Peltier, Yanis Sellami |
Ilinva: Using Abduction to Generate Loop Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 77-93, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Bottesch, Max W. Haslbeck, René Thiemann |
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 223-239, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Alessandro Gianola |
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 316-332, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Voigt |
The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 244-261, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Cruanes |
Superposition with Structural Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 172-188, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Anela Lolic |
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 265-280, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Wernhard |
The Boolean Solution Problem from the Perspective of Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 333-350, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader |
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 43-59, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl |
Complexity Analysis for Term Rewriting by Integer Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 132-150, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
On Solving Nominal Fixpoint Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 209-226, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Marcelo Finger (eds.) |
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![Springer, 978-3-319-66166-7 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jens Claßen, Benjamin Zarrieß |
Decidable Verification of Decision-Theoretic Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 227-243, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Cesare Tinelli, Dejan Jovanovic, Clark W. Barrett |
Designing Theory Solvers with Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 22-40, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama |
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 115-131, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost |
Metric Temporal Description Logics with Interval-Rigid Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 60-76, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti |
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 153-171, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu 0001, Christian Sternagel, René Thiemann, Dmitriy Traytel |
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 3-21, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan |
Using Ontologies to Query Probabilistic Numerical Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 77-94, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jelena Vlasenko, Volker Haarslev, Brigitte Jaumard |
Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 95-112, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Caleiro, Sérgio Marcelino, João Marcos 0001 |
Merging Fragments of Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 298-315, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Çigdem Gencer |
Finitariness of Elementary Unification in Boolean Region Connection Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 281-297, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu |
Subtropical Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 189-206, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Philipp |
An Expressive Model for Instance Decomposition Based Parallel SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 101-116, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Böhme, Marcel Lippmann |
Decidable Description Logics of Context with Rigid Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 17-32, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Teucke, Christoph Weidenbach |
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 85-100, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amira Zaki, Slim Abdennadher, Thom W. Frühwirth |
Combining Forward and Backward Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 307-322, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
A New Acceleration-Based Combination Framework for Array Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 169-185, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Alagi, Christoph Weidenbach |
NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 69-84, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Burel, Gilles Dowek, Ying Jiang |
A Completion Method to Decide Reachability in Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 205-219, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine |
Adapting Real Quantifier Elimination Methods for Conflict Set Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 151-166, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin |
Axiomatic Constraint Systems for Proof Search Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 220-236, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Backeman, Philipp Rümmer |
Free Variables and Theories: Revisiting Rigid E-unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 3-13, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Winkler, René Thiemann |
Formalizing Soundness and Completeness of Unravelings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 239-255, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
Unification and Matching in Hierarchical Combinations of Syntactic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 291-306, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tianyi Liang, Nestan Tsiskaridze, Andrew Reynolds 0001, Cesare Tinelli, Clark W. Barrett |
A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 135-150, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Silvio Ranise (eds.) |
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![Springer, 978-3-319-24245-3 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Gerhard Brewka, Oliver Fernandez Gil |
Adding Threshold Concepts to the Description Logic EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 33-48, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson |
Proofs and Reconstructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 256-271, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil |
Lemmatization for Stronger Reasoning in Large Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 341-356, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Christ, Jochen Hoenicke |
Weakly Equivalent Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 119-134, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Färber 0002, Cezary Kaliszyk |
Random Forests for Premise Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 325-340, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Borgwardt, Rafael Peñaloza |
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 49-65, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans |
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 186-202, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen |
A Rewriting Approach to the Combination of Data Structures with Bridging Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 275-290, 2015, Springer, 978-3-319-24245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Benjamin Zarrieß |
Verification of Golog Programs over Description Logic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 181-196, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Clara Bertolissi, Silvio Ranise |
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 40-55, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Korovin |
From Resolution and DPLL to Solving Arithmetic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 261-262, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001 |
Hybrid Unification in the Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 295-310, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence C. Paulson |
MetiTarski's Menagerie of Cooperating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 1-6, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|