default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/frocos:"
download as .bib file
@inproceedings{DBLP:conf/frocos/BriefsLW23,
author = {Yasmine Briefs and
Hendrik Leidinger and
Christoph Weidenbach},
editor = {Uli Sattler and
Martin Suda},
title = {{KBO} Constraint Solving Revisited},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {81--98},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_5},
doi = {10.1007/978-3-031-43369-6\_5},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BriefsLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BrombergerLW23,
author = {Martin Bromberger and
Lorenz Leutgeb and
Christoph Weidenbach},
editor = {Uli Sattler and
Martin Suda},
title = {Symbolic Model Construction for Saturated Constrained Horn Clauses},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {137--155},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_8},
doi = {10.1007/978-3-031-43369-6\_8},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BrombergerLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BrownPU23,
author = {Chad E. Brown and
Adam Pease and
Josef Urban},
editor = {Uli Sattler and
Martin Suda},
title = {Translating {SUMO-K} to Higher-Order Set Theory},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {255--274},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_14},
doi = {10.1007/978-3-031-43369-6\_14},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BrownPU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CignaraleKGS23,
author = {Giorgio Cignarale and
Roman Kuznets and
Hugo Rincon Galeana and
Ulrich Schmid},
editor = {Uli Sattler and
Martin Suda},
title = {Logic of Communication Interpretation: How to Not Get Lost in Translation},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {119--136},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_7},
doi = {10.1007/978-3-031-43369-6\_7},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CignaraleKGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/EkiciVZTB23,
author = {Burak Ekici and
Arjun Viswanathan and
Yoni Zohar and
Cesare Tinelli and
Clark W. Barrett},
editor = {Uli Sattler and
Martin Suda},
title = {Formal Verification of Bit-Vector Invertibility Conditions in Coq},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {41--59},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_3},
doi = {10.1007/978-3-031-43369-6\_3},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/EkiciVZTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HagaKA23,
author = {Ryota Haga and
Yuki Kagaya and
Takahito Aoto},
editor = {Uli Sattler and
Martin Suda},
title = {A Critical Pair Criterion for Level-Commutation of Conditional Term
Rewriting Systems},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {99--116},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_6},
doi = {10.1007/978-3-031-43369-6\_6},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/HagaKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LommenG23,
author = {Nils Lommen and
J{\"{u}}rgen Giesl},
editor = {Uli Sattler and
Martin Suda},
title = {Targeting Completeness: Using Closed Forms for Size Bounds of Integer
Programs},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {3--22},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_1},
doi = {10.1007/978-3-031-43369-6\_1},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/LommenG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Mohle23,
author = {Sibylle M{\"{o}}hle},
editor = {Uli Sattler and
Martin Suda},
title = {An Abstract CNF-to-d-DNNF Compiler Based on Chronological {CDCL}},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {195--213},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_11},
doi = {10.1007/978-3-031-43369-6\_11},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Mohle23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/NummelinBD23,
author = {Visa Nummelin and
Jasmin Blanchette and
Sander R. Dahmen},
editor = {Uli Sattler and
Martin Suda},
title = {Recurrence-Driven Summations in Automated Deduction},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {23--40},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_2},
doi = {10.1007/978-3-031-43369-6\_2},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/NummelinBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SaitoH23,
author = {Teppei Saito and
Nao Hirokawa},
editor = {Uli Sattler and
Martin Suda},
title = {Weighted Path Orders Are Semantic Path Orders},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {63--80},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_4},
doi = {10.1007/978-3-031-43369-6\_4},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/SaitoH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ToledoZB23,
author = {Guilherme Vicentin de Toledo and
Yoni Zohar and
Clark W. Barrett},
editor = {Uli Sattler and
Martin Suda},
title = {Combining Finite Combination Properties: Finite Models and Busy Beavers},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {159--175},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_9},
doi = {10.1007/978-3-031-43369-6\_9},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/ToledoZB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/TorstenssonW23,
author = {Olle Torstensson and
Tjark Weber},
editor = {Uli Sattler and
Martin Suda},
title = {Hammering Floating-Point Arithmetic},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {217--235},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_12},
doi = {10.1007/978-3-031-43369-6\_12},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/TorstenssonW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WardaniCM23,
author = {Farah Al Wardani and
Kaustuv Chaudhuri and
Dale Miller},
editor = {Uli Sattler and
Martin Suda},
title = {Formal Reasoning Using Distributed Assertions},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {176--194},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_10},
doi = {10.1007/978-3-031-43369-6\_10},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WardaniCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ZhangBKU23,
author = {Liao Zhang and
Lasse Blaauwbroek and
Cezary Kaliszyk and
Josef Urban},
editor = {Uli Sattler and
Martin Suda},
title = {Learning Proof Transformations and Its Applications in Interactive
Theorem Proving},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {236--254},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_13},
doi = {10.1007/978-3-031-43369-6\_13},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/ZhangBKU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2023,
editor = {Uli Sattler and
Martin Suda},
title = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6},
doi = {10.1007/978-3-031-43369-6},
isbn = {978-3-031-43368-9},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderGR21,
author = {Franz Baader and
Oliver Fern{\'{a}}ndez Gil and
Maryam Rostamigiv},
editor = {Boris Konev and
Giles Reger},
title = {Restricted Unification in the {DL} {\(\mathscr{F}\)}\({}_{\mbox{0}}\)},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {81--97},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_5},
doi = {10.1007/978-3-030-86205-3\_5},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderGR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Baumgartner21,
author = {Peter Baumgartner},
editor = {Boris Konev and
Giles Reger},
title = {Combining Event Calculus and Description Logic Reasoning via Logic
Programming},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {98--117},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_6},
doi = {10.1007/978-3-030-86205-3\_6},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Baumgartner21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BigarellaCGIJRS21,
author = {Filippo Bigarella and
Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Martin Jon{\'{a}}s and
Marco Roveri and
Roberto Sebastiani and
Patrick Trentin},
editor = {Boris Konev and
Giles Reger},
title = {Optimization Modulo Non-linear Arithmetic via Incremental Linearization},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {213--231},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_12},
doi = {10.1007/978-3-030-86205-3\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BigarellaCGIJRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BrombergerDFFKW21,
author = {Martin Bromberger and
Irina Dragoste and
Rasha Faqeh and
Christof Fetzer and
Markus Kr{\"{o}}tzsch and
Christoph Weidenbach},
editor = {Boris Konev and
Giles Reger},
title = {A Datalog Hammer for Supervisor Verification Conditions Modulo Simple
Linear Arithmetic},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {3--24},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_1},
doi = {10.1007/978-3-030-86205-3\_1},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BrombergerDFFKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Defourne21,
author = {Antoine Defourn{\'{e}}},
editor = {Boris Konev and
Giles Reger},
title = {Improving Automation for Higher-Order Proof Steps},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {139--153},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_8},
doi = {10.1007/978-3-030-86205-3\_8},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Defourne21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ErbaturMR21,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Boris Konev and
Giles Reger},
title = {Non-disjoint Combined Unification and Closure by Equational Paramodulation},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {25--42},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_2},
doi = {10.1007/978-3-030-86205-3\_2},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ErbaturMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/FontaineS21,
author = {Pascal Fontaine and
Hans{-}J{\"{o}}rg Schurr},
editor = {Boris Konev and
Giles Reger},
title = {Quantifier Simplification by Unification in {SMT}},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {232--249},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_13},
doi = {10.1007/978-3-030-86205-3\_13},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/FontaineS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GoertzelCJOU21,
author = {Zarathustra Amadeus Goertzel and
Karel Chvalovsk{\'{y}} and
Jan Jakubuv and
Miroslav Ols{\'{a}}k and
Josef Urban},
editor = {Boris Konev and
Giles Reger},
title = {Fast and Slow Enigmas and Parental Guidance},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {173--191},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_10},
doi = {10.1007/978-3-030-86205-3\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GoertzelCJOU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LinL21,
author = {Hai Lin and
Christopher Lynch},
editor = {Boris Konev and
Giles Reger},
title = {Formal Analysis of Symbolic Authenticity},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {271--286},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_15},
doi = {10.1007/978-3-030-86205-3\_15},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LinL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LinLMMNRR21,
author = {Hai Lin and
Christopher Lynch and
Andrew M. Marshall and
Catherine A. Meadows and
Paliath Narendran and
Veena Ravishankar and
Brandon Rozek},
editor = {Boris Konev and
Giles Reger},
title = {Algorithmic Problems in the Symbolic Approach to the Verification
of Automatically Synthesized Cryptosystems},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {253--270},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_14},
doi = {10.1007/978-3-030-86205-3\_14},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LinLMMNRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PeuterS21,
author = {Dennis Peuter and
Viorica Sofronie{-}Stokkermans},
editor = {Boris Konev and
Giles Reger},
title = {Symbol Elimination and Applications to Parametric Entailment Problems},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {43--62},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_3},
doi = {10.1007/978-3-030-86205-3\_3},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PeuterS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RumreichS21,
author = {Laine E. Rumreich and
Paolo A. G. Sivilotti},
editor = {Boris Konev and
Giles Reger},
title = {Formal Verification of a Java Component Using the {RESOLVE} Framework},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {287--305},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_16},
doi = {10.1007/978-3-030-86205-3\_16},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RumreichS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SakrS21,
author = {Mostafa Sakr and
Renate A. Schmidt},
editor = {Boris Konev and
Giles Reger},
title = {Semantic Forgetting in Expressive Description Logics},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {118--136},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_7},
doi = {10.1007/978-3-030-86205-3\_7},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/SakrS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SubramaniWV21,
author = {K. Subramani and
Piotr Wojciechowski and
Alvaro Velasquez},
editor = {Boris Konev and
Giles Reger},
title = {On the Copy Complexity of Width 3 Horn Constraint Systems},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {63--78},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_4},
doi = {10.1007/978-3-030-86205-3\_4},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/SubramaniWV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Suda21,
author = {Martin Suda},
editor = {Boris Konev and
Giles Reger},
title = {Vampire with a Brain Is a Good {ITP} Hammer},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {192--209},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_11},
doi = {10.1007/978-3-030-86205-3\_11},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Suda21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WangK21,
author = {Qingxiang Wang and
Cezary Kaliszyk},
editor = {Boris Konev and
Giles Reger},
title = {{JEFL:} Joint Embedding of Formal Proof Libraries},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {154--170},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_9},
doi = {10.1007/978-3-030-86205-3\_9},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WangK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2021,
editor = {Boris Konev and
Giles Reger},
title = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3},
doi = {10.1007/978-3-030-86205-3},
isbn = {978-3-030-86204-6},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/0001T19,
author = {Takahito Aoto and
Yoshihito Toyama},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term
Rewriting Systems},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {330--347},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_19},
doi = {10.1007/978-3-030-29007-8\_19},
timestamp = {Thu, 22 Aug 2019 12:42:11 +0200},
biburl = {https://dblp.org/rec/conf/frocos/0001T19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderB19,
author = {Franz Baader and
Filippo De Bortoli},
editor = {Andreas Herzig and
Andrei Popescu},
title = {On the Expressive Power of Description Logics with Cardinality Constraints
on Finite and Infinite Sets},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {203--219},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_12},
doi = {10.1007/978-3-030-29007-8\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderEKW19,
author = {Franz Baader and
Andreas Ecke and
Gabriele Kern{-}Isberner and
Marco Wilhelm},
editor = {Andreas Herzig and
Andrei Popescu},
title = {The Complexity of the Consistency Problem in the Probabilistic Description
Logic {\unicode{120016}}{\(\mathscr{L}\)}{\unicode{119966}}\({}^{\mbox{ME}}\)},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {167--184},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_10},
doi = {10.1007/978-3-030-29007-8\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderEKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BotteschHT19,
author = {Ralph Bottesch and
Max W. Haslbeck and
Ren{\'{e}} Thiemann},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {223--239},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_13},
doi = {10.1007/978-3-030-29007-8\_13},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BotteschHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BrausseKKM19,
author = {Franz Brau{\ss}e and
Konstantin Korovin and
Margarita V. Korovina and
Norbert Th. M{\"{u}}ller},
editor = {Andreas Herzig and
Andrei Popescu},
title = {A CDCL-Style Calculus for Solving Non-linear Constraints},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {131--148},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_8},
doi = {10.1007/978-3-030-29007-8\_8},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BrausseKKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BuningWCS19,
author = {Hans Kleine{ }B{\"{u}}ning and
Piotr Wojciechowski and
R. Chandrasekaran and
K. Subramani},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Restricted Cutting Plane Proofs in Horn Constraint Systems},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {149--164},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_9},
doi = {10.1007/978-3-030-29007-8\_9},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BuningWCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Del-PintoS19,
author = {Warren Del{-}Pinto and
Renate A. Schmidt},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Extending Forgetting-Based Abduction Using Nominals},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {185--202},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_11},
doi = {10.1007/978-3-030-29007-8\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Del-PintoS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Eberl19,
author = {Manuel Eberl},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Verifying Randomised Social Choice},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {240--256},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_14},
doi = {10.1007/978-3-030-29007-8\_14},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Eberl19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/EchenimPS19,
author = {Mnacho Echenim and
Nicolas Peltier and
Yanis Sellami},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Ilinva: Using Abduction to Generate Loop Invariants},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {77--93},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_5},
doi = {10.1007/978-3-030-29007-8\_5},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/EchenimPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/EnsanT19,
author = {Alireza Ensan and
Eugenia Ternovska},
editor = {Andreas Herzig and
Andrei Popescu},
title = {A Language-Independent Framework for Reasoning About Preferences for
Declarative Problem Solving},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {57--73},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_4},
doi = {10.1007/978-3-030-29007-8\_4},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/EnsanT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/FuenmayorB19,
author = {David Fuenmayor and
Christoph Benzm{\"{u}}ller},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Mechanised Assessment of Complex Natural-Language Arguments Using
Expressive Logic Combinations},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {112--128},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_7},
doi = {10.1007/978-3-030-29007-8\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/FuenmayorB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Fuhs19,
author = {Carsten Fuhs},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Transforming Derivational Complexity of Term Rewriting to Runtime
Complexity},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {348--364},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_20},
doi = {10.1007/978-3-030-29007-8\_20},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Fuhs19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Indrzejczak19,
author = {Andrzej Indrzejczak},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Two Is Enough - Bisequent Calculus for {S5}},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {277--294},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_16},
doi = {10.1007/978-3-030-29007-8\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Indrzejczak19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KimLN19,
author = {Dohan Kim and
Christopher Lynch and
Paliath Narendran},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Reviving Basic Narrowing Modulo},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {313--329},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_18},
doi = {10.1007/978-3-030-29007-8\_18},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KimLN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KuznetsP0F19,
author = {Roman Kuznets and
Laurent Prosperi and
Ulrich Schmid and
Krisztina Fruzsa},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Epistemic Reasoning with Byzantine-Faulty Agents},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {259--276},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_15},
doi = {10.1007/978-3-030-29007-8\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KuznetsP0F19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LynchMMNR19,
author = {Christopher Lynch and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Veena Ravishankar},
editor = {Andreas Herzig and
Andrei Popescu},
title = {On Asymmetric Unification for the Theory of {XOR} with a Homomorphism},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {297--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_17},
doi = {10.1007/978-3-030-29007-8\_17},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LynchMMNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RawsonR19,
author = {Michael Rawson and
Giles Reger},
editor = {Andreas Herzig and
Andrei Popescu},
title = {A Neurally-Guided, Parallel Theorem Prover},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {40--56},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_3},
doi = {10.1007/978-3-030-29007-8\_3},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/RawsonR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RegerR019,
author = {Giles Reger and
Martin Riener and
Martin Suda},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Symmetry Avoidance in MACE-Style Finite Model Finding},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {3--21},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_1},
doi = {10.1007/978-3-030-29007-8\_1},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/RegerR019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Ternovska19,
author = {Eugenia Ternovska},
editor = {Andreas Herzig and
Andrei Popescu},
title = {An Algebra of Modular Systems: Static and Dynamic Perspectives},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {94--111},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_6},
doi = {10.1007/978-3-030-29007-8\_6},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Ternovska19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/TeuckeVW19,
author = {Andreas Teucke and
Marco Voigt and
Christoph Weidenbach},
editor = {Andreas Herzig and
Andrei Popescu},
title = {On the Expressivity and Applicability of Model Representation Formalisms},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {22--39},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_2},
doi = {10.1007/978-3-030-29007-8\_2},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/TeuckeVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2019,
editor = {Andreas Herzig and
Andrei Popescu},
title = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8},
doi = {10.1007/978-3-030-29007-8},
isbn = {978-3-030-29006-1},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Ayala-RinconSFN17,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Clare Dixon and
Marcelo Finger},
title = {On Solving Nominal Fixpoint Equations},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {209--226},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_12},
doi = {10.1007/978-3-319-66167-4\_12},
timestamp = {Mon, 28 Aug 2023 21:17:55 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Ayala-RinconSFN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Baader17,
author = {Franz Baader},
editor = {Clare Dixon and
Marcelo Finger},
title = {A New Description Logic with Set Constraints and Cardinality Constraints
on Role Successors},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {43--59},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_3},
doi = {10.1007/978-3-319-66167-4\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Baader17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderBKOT17,
author = {Franz Baader and
Stefan Borgwardt and
Patrick Koopmann and
Ana Ozaki and
Veronika Thost},
editor = {Clare Dixon and
Marcelo Finger},
title = {Metric Temporal Description Logics with Interval-Rigid Names},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {60--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_4},
doi = {10.1007/978-3-319-66167-4\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderBKOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderKT17,
author = {Franz Baader and
Patrick Koopmann and
Anni{-}Yasmin Turhan},
editor = {Clare Dixon and
Marcelo Finger},
title = {Using Ontologies to Query Probabilistic Numerical Data},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {77--94},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_5},
doi = {10.1007/978-3-319-66167-4\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BaaderKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaazL17,
author = {Matthias Baaz and
Anela Lolic},
editor = {Clare Dixon and
Marcelo Finger},
title = {First-Order Interpolation of Non-classical Logics Derived from Propositional
Interpolation},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {265--280},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_15},
doi = {10.1007/978-3-319-66167-4\_15},
timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaazL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BalbianiG17,
author = {Philippe Balbiani and
{\c{C}}igdem Gencer},
editor = {Clare Dixon and
Marcelo Finger},
title = {Finitariness of Elementary Unification in Boolean Region Connection
Calculus},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {281--297},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_16},
doi = {10.1007/978-3-319-66167-4\_16},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BalbianiG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BianCMRSV17,
author = {Zhengbing Bian and
Fabi{\'{a}}n A. Chudak and
William G. Macready and
Aidan Roy and
Roberto Sebastiani and
Stefano Varotti},
editor = {Clare Dixon and
Marcelo Finger},
title = {Solving {SAT} and MaxSAT with a Quantum Annealer: Foundations and
a Preliminary Report},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {153--171},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_9},
doi = {10.1007/978-3-319-66167-4\_9},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BianCMRSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BiendarraBBDFHK17,
author = {Julian Biendarra and
Jasmin Christian Blanchette and
Aymeric Bouzy and
Martin Desharnais and
Mathias Fleury and
Johannes H{\"{o}}lzl and
Ondrej Kuncar and
Andreas Lochbihler and
Fabian Meier and
Lorenz Panny and
Andrei Popescu and
Christian Sternagel and
Ren{\'{e}} Thiemann and
Dmitriy Traytel},
editor = {Clare Dixon and
Marcelo Finger},
title = {Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {3--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_1},
doi = {10.1007/978-3-319-66167-4\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BiendarraBBDFHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CaleiroMM17,
author = {Carlos Caleiro and
S{\'{e}}rgio Marcelino and
Jo{\~{a}}o Marcos},
editor = {Clare Dixon and
Marcelo Finger},
title = {Merging Fragments of Classical Logic},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {298--315},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_17},
doi = {10.1007/978-3-319-66167-4\_17},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CaleiroMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ClassenZ17,
author = {Jens Cla{\ss}en and
Benjamin Zarrie{\ss}},
editor = {Clare Dixon and
Marcelo Finger},
title = {Decidable Verification of Decision-Theoretic Golog},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {227--243},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_13},
doi = {10.1007/978-3-319-66167-4\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/ClassenZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Cruanes17,
author = {Simon Cruanes},
editor = {Clare Dixon and
Marcelo Finger},
title = {Superposition with Structural Induction},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {172--188},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_10},
doi = {10.1007/978-3-319-66167-4\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Cruanes17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/FontaineOSV17,
author = {Pascal Fontaine and
Mizuhito Ogawa and
Thomas Sturm and
Xuan{-}Tung Vu},
editor = {Clare Dixon and
Marcelo Finger},
title = {Subtropical Satisfiability},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {189--206},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_11},
doi = {10.1007/978-3-319-66167-4\_11},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/FontaineOSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GhilardiG17,
author = {Silvio Ghilardi and
Alessandro Gianola},
editor = {Clare Dixon and
Marcelo Finger},
title = {Interpolation, Amalgamation and Combination (The Non-disjoint Signatures
Case)},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {316--332},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_18},
doi = {10.1007/978-3-319-66167-4\_18},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GhilardiG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KikuchiAT17,
author = {Kentaro Kikuchi and
Takahito Aoto and
Yoshihito Toyama},
editor = {Clare Dixon and
Marcelo Finger},
title = {Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {115--131},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_7},
doi = {10.1007/978-3-319-66167-4\_7},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KikuchiAT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/NaafFBFG17,
author = {Matthias Naaf and
Florian Frohn and
Marc Brockschmidt and
Carsten Fuhs and
J{\"{u}}rgen Giesl},
editor = {Clare Dixon and
Marcelo Finger},
title = {Complexity Analysis for Term Rewriting by Integer Transition Systems},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {132--150},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_8},
doi = {10.1007/978-3-319-66167-4\_8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/NaafFBFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ReynoldsTJB17,
author = {Andrew Reynolds and
Cesare Tinelli and
Dejan Jovanovic and
Clark W. Barrett},
editor = {Clare Dixon and
Marcelo Finger},
title = {Designing Theory Solvers with Extensions},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {22--40},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_2},
doi = {10.1007/978-3-319-66167-4\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ReynoldsTJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/VlasenkoHJ17,
author = {Jelena Vlasenko and
Volker Haarslev and
Brigitte Jaumard},
editor = {Clare Dixon and
Marcelo Finger},
title = {Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {95--112},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_6},
doi = {10.1007/978-3-319-66167-4\_6},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/VlasenkoHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Voigt17,
author = {Marco Voigt},
editor = {Clare Dixon and
Marcelo Finger},
title = {The Bernays-Sch{\"{o}}nfinkel-Ramsey Fragment with Bounded Difference
Constraints over the Reals Is Decidable},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {244--261},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_14},
doi = {10.1007/978-3-319-66167-4\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Voigt17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Wernhard17,
author = {Christoph Wernhard},
editor = {Clare Dixon and
Marcelo Finger},
title = {The Boolean Solution Problem from the Perspective of Predicate Logic},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {333--350},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_19},
doi = {10.1007/978-3-319-66167-4\_19},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Wernhard17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2017,
editor = {Clare Dixon and
Marcelo Finger},
title = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4},
doi = {10.1007/978-3-319-66167-4},
isbn = {978-3-319-66166-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlagiW15,
author = {G{\'{a}}bor Alagi and
Christoph Weidenbach},
editor = {Carsten Lutz and
Silvio Ranise},
title = {{NRCL} - {A} Model Building Approach to the Bernays-Sch{\"{o}}nfinkel
Fragment},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {69--84},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_5},
doi = {10.1007/978-3-319-24246-0\_5},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlagiW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlbertiGS15,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Carsten Lutz and
Silvio Ranise},
title = {A New Acceleration-Based Combination Framework for Array Properties},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {169--185},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_11},
doi = {10.1007/978-3-319-24246-0\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/AlbertiGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderBG15,
author = {Franz Baader and
Gerhard Brewka and
Oliver Fernandez Gil},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Adding Threshold Concepts to the Description Logic \emph{EL}},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {33--48},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_3},
doi = {10.1007/978-3-319-24246-0\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BackemanR15,
author = {Peter Backeman and
Philipp R{\"{u}}mmer},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Free Variables and Theories: Revisiting Rigid E-unification},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {3--13},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_1},
doi = {10.1007/978-3-319-24246-0\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BackemanR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BohmeL15,
author = {Stephan B{\"{o}}hme and
Marcel Lippmann},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Decidable Description Logics of Context with Rigid Roles},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {17--32},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_2},
doi = {10.1007/978-3-319-24246-0\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BohmeL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BorgwardtP15,
author = {Stefan Borgwardt and
Rafael Pe{\~{n}}aloza},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Reasoning in Expressive Description Logics under Infinitely Valued
G{\"{o}}del Semantics},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {49--65},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_4},
doi = {10.1007/978-3-319-24246-0\_4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BorgwardtP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BurelDJ15,
author = {Guillaume Burel and
Gilles Dowek and
Ying Jiang},
editor = {Carsten Lutz and
Silvio Ranise},
title = {A Completion Method to Decide Reachability in Rewrite Systems},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {205--219},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_13},
doi = {10.1007/978-3-319-24246-0\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BurelDJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ChocronFR15,
author = {Paula Daniela Chocron and
Pascal Fontaine and
Christophe Ringeissen},
editor = {Carsten Lutz and
Silvio Ranise},
title = {A Rewriting Approach to the Combination of Data Structures with Bridging
Theories},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {275--290},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_17},
doi = {10.1007/978-3-319-24246-0\_17},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ChocronFR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ChristH15,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Weakly Equivalent Arrays},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {119--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_8},
doi = {10.1007/978-3-319-24246-0\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ChristH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DammHS15,
author = {Werner Damm and
Matthias Horbach and
Viorica Sofronie{-}Stokkermans},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Decidability of Verification of Safety Properties of Spatial Families
of Linear Hybrid Automata},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {186--202},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_12},
doi = {10.1007/978-3-319-24246-0\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DammHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ErbaturKMNR15,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Unification and Matching in Hierarchical Combinations of Syntactic
Theories},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {291--306},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_18},
doi = {10.1007/978-3-319-24246-0\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ErbaturKMNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/FarberK15,
author = {Michael F{\"{a}}rber and
Cezary Kaliszyk},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Random Forests for Premise Selection},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {325--340},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_20},
doi = {10.1007/978-3-319-24246-0\_20},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/FarberK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/JaroschekDF15,
author = {Maximilian Jaroschek and
Pablo Federico Dobal and
Pascal Fontaine},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Adapting Real Quantifier Elimination Methods for Conflict Set Computation},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {151--166},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_10},
doi = {10.1007/978-3-319-24246-0\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/JaroschekDF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KaliszykUV15,
author = {Cezary Kaliszyk and
Josef Urban and
Jir{\'{\i}} Vyskocil},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Lemmatization for Stronger Reasoning in Large Theories},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {341--356},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_21},
doi = {10.1007/978-3-319-24246-0\_21},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/KaliszykUV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LiangTRTB15,
author = {Tianyi Liang and
Nestan Tsiskaridze and
Andrew Reynolds and
Cesare Tinelli and
Clark W. Barrett},
editor = {Carsten Lutz and
Silvio Ranise},
title = {A Decision Procedure for Regular Membership and Length Constraints
over Unbounded Strings},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {135--150},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_9},
doi = {10.1007/978-3-319-24246-0\_9},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LiangTRTB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Philipp15,
author = {Tobias Philipp},
editor = {Carsten Lutz and
Silvio Ranise},
title = {An Expressive Model for Instance Decomposition Based Parallel {SAT}
Solvers},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {101--116},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_7},
doi = {10.1007/978-3-319-24246-0\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Philipp15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RouhlingFGMN15,
author = {Damien Rouhling and
Mahfuza Farooque and
St{\'{e}}phane Graham{-}Lengrand and
Assia Mahboubi and
Jean{-}Marc Notin},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Axiomatic Constraint Systems for Proof Search Modulo Theories},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {220--236},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_14},
doi = {10.1007/978-3-319-24246-0\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RouhlingFGMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SultanaBP15,
author = {Nik Sultana and
Christoph Benzm{\"{u}}ller and
Lawrence C. Paulson},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Proofs and Reconstructions},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {256--271},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_16},
doi = {10.1007/978-3-319-24246-0\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/SultanaBP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/TeuckeW15,
author = {Andreas Teucke and
Christoph Weidenbach},
editor = {Carsten Lutz and
Silvio Ranise},
title = {First-Order Logic Theorem Proving and Model Building via Approximation
and Instantiation},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {85--100},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_6},
doi = {10.1007/978-3-319-24246-0\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/TeuckeW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WinklerT15,
author = {Sarah Winkler and
Ren{\'{e}} Thiemann},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Formalizing Soundness and Completeness of Unravelings},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {239--255},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_15},
doi = {10.1007/978-3-319-24246-0\_15},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WinklerT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ZakiAF15,
author = {Amira Zaki and
Slim Abdennadher and
Thom W. Fr{\"{u}}hwirth},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Combining Forward and Backward Propagation},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {307--322},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_19},
doi = {10.1007/978-3-319-24246-0\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ZakiAF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2015,
editor = {Carsten Lutz and
Silvio Ranise},
title = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0},
doi = {10.1007/978-3-319-24246-0},
isbn = {978-3-319-24245-3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlbertiGS13,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Definability of Accelerated Relations in a Theory of Arrays and Its
Applications},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {23--39},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_3},
doi = {10.1007/978-3-642-40885-4\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlbertiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Aoto13,
author = {Takahito Aoto},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Disproving Confluence of Term Rewriting Systems by Interpretation
and Ordering},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {311--326},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_22},
doi = {10.1007/978-3-642-40885-4\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Aoto13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArecesFH13,
author = {Carlos Areces and
Raul Fervari and
Guillaume Hoffmann},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Tableaux for Relation-Changing Modal Logics},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {263--278},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_19},
doi = {10.1007/978-3-642-40885-4\_19},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArecesFH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderGM13,
author = {Franz Baader and
Oliver Fernandez Gil and
Barbara Morawska},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Hybrid Unification in the Description Logic},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {295--310},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_21},
doi = {10.1007/978-3-642-40885-4\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderZ13,
author = {Franz Baader and
Benjamin Zarrie{\ss}},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Verification of Golog Programs over Description Logic Actions},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {181--196},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_12},
doi = {10.1007/978-3-642-40885-4\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BalbianiM13,
author = {Philippe Balbiani and
Szabolcs Mikul{\'{a}}s},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Decidability and Complexity via Mosaics of the Temporal Logic of the
Lexicographic Products of Unbounded Dense Linear Orders},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {151--164},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_10},
doi = {10.1007/978-3-642-40885-4\_10},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BalbianiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BarrettDD13,
author = {Clark W. Barrett and
St{\'{e}}phane Demri and
Morgan Deters},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Witness Runs for Counter Machines},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {120--150},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_9},
doi = {10.1007/978-3-642-40885-4\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BarrettDD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BertolissiR13,
author = {Clara Bertolissi and
Silvio Ranise},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Verification of Composed Array-Based Systems with Applications to
Security-Aware Workflows},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {40--55},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_4},
doi = {10.1007/978-3-642-40885-4\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BertolissiR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Blanchette013,
author = {Jasmin Christian Blanchette and
Andrei Popescu},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Mechanizing the Metatheory of Sledgehammer},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {245--260},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_17},
doi = {10.1007/978-3-642-40885-4\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Blanchette013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BorgwardtLT13,
author = {Stefan Borgwardt and
Marcel Lippmann and
Veronika Thost},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Temporal Query Answering in the Description Logic DL-Lite},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {165--180},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_11},
doi = {10.1007/978-3-642-40885-4\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BorgwardtLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BouchardGLN13,
author = {Christopher Bouchard and
Kimberly A. Gero and
Christopher Lynch and
Paliath Narendran},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {On Forward Closure and the Finite Variant Property},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {327--342},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_23},
doi = {10.1007/978-3-642-40885-4\_23},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BouchardGLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BurelC13,
author = {Guillaume Burel and
Simon Cruanes},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Detection of First Order Axiomatic Theories},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {229--244},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_16},
doi = {10.1007/978-3-642-40885-4\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BurelC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HorbachS13,
author = {Matthias Horbach and
Viorica Sofronie{-}Stokkermans},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Obtaining Finite Local Theory Axiomatizations via Saturation},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {198--213},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_14},
doi = {10.1007/978-3-642-40885-4\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/HorbachS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KarrenbergKS13,
author = {Ralf Karrenberg and
Marek Kosta and
Thomas Sturm},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Presburger Arithmetic in Memory Access Optimization for Data-Parallel
Languages},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {56--70},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_5},
doi = {10.1007/978-3-642-40885-4\_5},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KarrenbergKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KersaniP13,
author = {Abdelkader Kersani and
Nicolas Peltier},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Combining Superposition and Induction: {A} Practical Realization},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {7--22},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_2},
doi = {10.1007/978-3-642-40885-4\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KersaniP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KoopmannS13,
author = {Patrick Koopmann and
Renate A. Schmidt},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Uniform Interpolation of -Ontologies Using Fixpoints},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {87--102},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_7},
doi = {10.1007/978-3-642-40885-4\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KoopmannS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KopN13,
author = {Cynthia Kop and
Naoki Nishida},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Term Rewriting with Logical Constraints},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {343--358},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_24},
doi = {10.1007/978-3-642-40885-4\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KopN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Korovin13,
author = {Konstantin Korovin},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Non-cyclic Sorts for First-Order Satisfiability},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {214--228},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_15},
doi = {10.1007/978-3-642-40885-4\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Korovin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Korovin13a,
author = {Konstantin Korovin},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {From Resolution and {DPLL} to Solving Arithmetic Constraints},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {261--262},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_18},
doi = {10.1007/978-3-642-40885-4\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Korovin13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Ouaknine13,
author = {Jo{\"{e}}l Ouaknine},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Specification and Verification of Linear Dynamical Systems: Advances
and Challenges},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {197},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_13},
doi = {10.1007/978-3-642-40885-4\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Ouaknine13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PapacchiniS13,
author = {Fabio Papacchini and
Renate A. Schmidt},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Computing Minimal Models Modulo Subset-Simulation for Modal Logics},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {279--294},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_20},
doi = {10.1007/978-3-642-40885-4\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PapacchiniS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Paulson13,
author = {Lawrence C. Paulson},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {MetiTarski's Menagerie of Cooperating Systems},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {1--6},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_1},
doi = {10.1007/978-3-642-40885-4\_1},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Paulson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PenalozaZ13,
author = {Rafael Pe{\~{n}}aloza and
Tingting Zou},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Roughening the Envelope},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {71--86},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_6},
doi = {10.1007/978-3-642-40885-4\_6},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PenalozaZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Wernhard13,
author = {Christoph Wernhard},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Abduction in Logic Programming as Second-Order Quantifier Elimination},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {103--119},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_8},
doi = {10.1007/978-3-642-40885-4\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Wernhard13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2013,
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4},
doi = {10.1007/978-3-642-40885-4},
isbn = {978-3-642-40884-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArecesF11,
author = {Carlos Areces and
Pascal Fontaine},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Combining Theories: The Ackerman and Guarded Fragments},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {40--54},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_4},
doi = {10.1007/978-3-642-24364-6\_4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArecesF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArtaleKRZ11,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Tailoring Temporal Description Logics for Reasoning over Temporal
Conceptual Models},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {1--11},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_1},
doi = {10.1007/978-3-642-24364-6\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArtaleKRZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderP11,
author = {Franz Baader and
Rafael Pe{\~{n}}aloza},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {On the Undecidability of Fuzzy Description Logics with GCIs and Product
T-norm},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {55--70},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_5},
doi = {10.1007/978-3-642-24364-6\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BersaniD11,
author = {Marcello M. Bersani and
St{\'{e}}phane Demri},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {The Complexity of Reversal-Bounded Model-Checking},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {71--86},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_6},
doi = {10.1007/978-3-642-24364-6\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BersaniD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BlanchetteBN11,
author = {Jasmin Christian Blanchette and
Lukas Bulwahn and
Tobias Nipkow},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Automatic Proof and Disproof in Isabelle/HOL},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {12--27},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_2},
doi = {10.1007/978-3-642-24364-6\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BlanchetteBN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BobotP11,
author = {Fran{\c{c}}ois Bobot and
Andrey Paskevich},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Expressing Polymorphic Types in a Many-Sorted Language},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {87--102},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_7},
doi = {10.1007/978-3-642-24364-6\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BobotP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BruttomessoGR11,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {A Combination of Rewriting and Constraint Solving for the Quantifier-Free
Interpolation of Arrays with Integer Difference Constraints},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {103--118},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_8},
doi = {10.1007/978-3-642-24364-6\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BruttomessoGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CerroH11,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {The Modal Logic of Equilibrium Models},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {135--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_10},
doi = {10.1007/978-3-642-24364-6\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CerroH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/EggersKKSTW11,
author = {Andreas Eggers and
Evgeny Kruglov and
Stefan Kupferschmid and
Karsten Scheibler and
Tino Teige and
Christoph Weidenbach},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Superposition Modulo Non-linear Arithmetic},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {119--134},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_9},
doi = {10.1007/978-3-642-24364-6\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/EggersKKSTW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/FuhsK11,
author = {Carsten Fuhs and
Cynthia Kop},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Harnessing First Order Termination Provers Using Higher Order Dependency
Pairs},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {147--162},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_11},
doi = {10.1007/978-3-642-24364-6\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/FuhsK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GriggioPST11,
author = {Alberto Griggio and
Quoc{-}Sang Phan and
Roberto Sebastiani and
Silvia Tomasi},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Stochastic Local Search for {SMT:} Combining Theory Solvers with WalkSAT},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {163--178},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_12},
doi = {10.1007/978-3-642-24364-6\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/GriggioPST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/JacquemardKS11,
author = {Florent Jacquemard and
Yoshiharu Kojima and
Masahiko Sakai},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Controlled Term Rewriting},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {179--194},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_13},
doi = {10.1007/978-3-642-24364-6\_13},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/JacquemardKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/JovanovicB11,
author = {Dejan Jovanovic and
Clark W. Barrett},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Sharing Is Caring: Combination of Theories},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {195--210},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_14},
doi = {10.1007/978-3-642-24364-6\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/JovanovicB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Lange11,
author = {Martin Lange},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Size-Change Termination and Satisfiability for Linear-Time Temporal
Logics},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {28--39},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_3},
doi = {10.1007/978-3-642-24364-6\_3},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Lange11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RingeissenS11,
author = {Christophe Ringeissen and
Valerio Senni},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Modular Termination and Combinability for Superposition Modulo Counter
Arithmetic},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {211--226},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_15},
doi = {10.1007/978-3-642-24364-6\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RingeissenS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Schmidt-SchaussSA11,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Altug Anis},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Congruence Closure of Compressed Terms in Polynomial Time},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {227--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_16},
doi = {10.1007/978-3-642-24364-6\_16},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Schmidt-SchaussSA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SternagelT11,
author = {Christian Sternagel and
Ren{\'{e}} Thiemann},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Generalized and Formalized Uncurrying},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {243--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_17},
doi = {10.1007/978-3-642-24364-6\_17},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/SternagelT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/TasharrofiT11,
author = {Shahab Tasharrofi and
Eugenia Ternovska},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {A Semantic Account for Modularity in Multi-language Modelling of Search
Problems},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {259--274},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_18},
doi = {10.1007/978-3-642-24364-6\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/TasharrofiT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2011,
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6},
doi = {10.1007/978-3-642-24364-6},
isbn = {978-3-642-24363-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlthausKW09,
author = {Ernst Althaus and
Evgeny Kruglov and
Christoph Weidenbach},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Superposition Modulo Linear Arithmetic {SUP(LA)}},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {84--99},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_5},
doi = {10.1007/978-3-642-04222-5\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlthausKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AnantharamanLLNR09,
author = {Siva Anantharaman and
Hai Lin and
Christopher Lynch and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Unification Modulo Homomorphic Encryption},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {100--116},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_6},
doi = {10.1007/978-3-642-04222-5\_6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AnantharamanLLNR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AotoY09,
author = {Takahito Aoto and
Toshiyuki Yamada},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Argument Filterings and Usable Rules for Simply Typed Dependency Pairs},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {117--132},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_7},
doi = {10.1007/978-3-642-04222-5\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AotoY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Armando09,
author = {Alessandro Armando},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Building SMT-Based Software Model Checkers: An Experience Report},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {1--17},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_1},
doi = {10.1007/978-3-642-04222-5\_1},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Armando09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArtaleKRZ09,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {\emph{DL-Lite} with Temporalised Concepts, Rigid Axioms and Roles},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {133--148},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_8},
doi = {10.1007/978-3-642-04222-5\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArtaleKRZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderBL09,
author = {Franz Baader and
Andreas Bauer and
Marcel Lippmann},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Runtime Verification Using a Temporal Description Logic},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {149--164},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_9},
doi = {10.1007/978-3-642-04222-5\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Balbiani09,
author = {Philippe Balbiani},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Axiomatization and Completeness of Lexicographic Products of Modal
Logics},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {165--180},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_10},
doi = {10.1007/978-3-642-04222-5\_10},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Balbiani09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Burel09,
author = {Guillaume Burel},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Automating Theories in Intuitionistic Logic},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {181--197},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_11},
doi = {10.1007/978-3-642-04222-5\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Burel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DixonFK09,
author = {Clare Dixon and
Michael Fisher and
Boris Konev},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Taming the Complexity of Temporal Epistemic Reasoning},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {198--213},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_12},
doi = {10.1007/978-3-642-04222-5\_12},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DixonFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DrescherLBGPST09,
author = {Conrad Drescher and
Hongkai Liu and
Franz Baader and
Steffen Guhlemann and
Uwe Petersohn and
Peter Steinke and
Michael Thielscher},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Putting ABox Updates into Action},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {214--229},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_13},
doi = {10.1007/978-3-642-04222-5\_13},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DrescherLBGPST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DrescherST09,
author = {Conrad Drescher and
Stephan Schiffel and
Michael Thielscher},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {A Declarative Agent Programming Language Based on Action Theories},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {230--245},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_14},
doi = {10.1007/978-3-642-04222-5\_14},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DrescherST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DuranLM09,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Termination Modulo Combinations of Equational Theories},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {246--262},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_15},
doi = {10.1007/978-3-642-04222-5\_15},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DuranLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/EiterBDFIK09,
author = {Thomas Eiter and
Gerhard Brewka and
Minh Dao{-}Tran and
Michael Fink and
Giovambattista Ianni and
Thomas Krennwallner},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Combining Nonmonotonic Knowledge Bases with External Sources},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {18--42},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_2},
doi = {10.1007/978-3-642-04222-5\_2},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/EiterBDFIK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Fontaine09,
author = {Pascal Fontaine},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Combinations of Theories for Decidable Fragments of First-Order Logic},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {263--278},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_16},
doi = {10.1007/978-3-642-04222-5\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Fontaine09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Kurucz09,
author = {Agi Kurucz},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Products of Modal Logics with Diagonal Constant Lacking the Finite
Model Property},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {279--286},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_17},
doi = {10.1007/978-3-642-04222-5\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Kurucz09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LescuyerC09,
author = {St{\'{e}}phane Lescuyer and
Sylvain Conchon},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Improving Coq Propositional Reasoning Using a Lazy {CNF} Conversion
Scheme},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {287--303},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_18},
doi = {10.1007/978-3-642-04222-5\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LescuyerC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LynchM09,
author = {Christopher Lynch and
Ralph Eric McGregor},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Combining Instance Generation and Resolution},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {304--318},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_19},
doi = {10.1007/978-3-642-04222-5\_19},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LynchM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Motik09,
author = {Boris Motik},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Combining Description Logics, Description Graphs, and Rules},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {43--67},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_3},
doi = {10.1007/978-3-642-04222-5\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Motik09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/NicoliniRR09,
author = {Enrica Nicolini and
Christophe Ringeissen and
Micha{\"{e}}l Rusinowitch},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Data Structures with Arithmetic Constraints: {A} Non-disjoint Combination},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {319--334},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_20},
doi = {10.1007/978-3-642-04222-5\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/NicoliniRR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PietteHS09,
author = {C{\'{e}}dric Piette and
Youssef Hamadi and
Lakhdar Sais},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Efficient Combination of Decision Procedures for {MUS} Computation},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {335--349},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_21},
doi = {10.1007/978-3-642-04222-5\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PietteHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PulinaT09,
author = {Luca Pulina and
Armando Tacchella},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Learning to Integrate Deduction and Search in Reasoning about Quantified
Boolean Formulas},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {350--365},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_22},
doi = {10.1007/978-3-642-04222-5\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PulinaT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Tiwari09,
author = {Ashish Tiwari},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Combining Equational Reasoning},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {68--83},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_4},
doi = {10.1007/978-3-642-04222-5\_4},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Tiwari09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WiesPK09,
author = {Thomas Wies and
Ruzica Piskac and
Viktor Kuncak},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Combining Theories with Shared Set Operations},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {366--382},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_23},
doi = {10.1007/978-3-642-04222-5\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WiesPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2009,
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5},
doi = {10.1007/978-3-642-04222-5},
isbn = {978-3-642-04221-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlarconL07,
author = {Beatriz Alarc{\'{o}}n and
Salvador Lucas},
editor = {Boris Konev and
Frank Wolter},
title = {Termination of Innermost Context-Sensitive Rewriting Using Dependency
Pairs},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {73--87},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_5},
doi = {10.1007/978-3-540-74621-8\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlarconL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Amjad07,
author = {Hasan Amjad},
editor = {Boris Konev and
Frank Wolter},
title = {A Compressing Translation from Propositional Resolution to Natural
Deduction},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {88--102},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_6},
doi = {10.1007/978-3-540-74621-8\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Amjad07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArnaudCD07,
author = {Mathilde Arnaud and
V{\'{e}}ronique Cortier and
St{\'{e}}phanie Delaune},
editor = {Boris Konev and
Frank Wolter},
title = {Combining Algorithms for Deciding Knowledge in Security Protocols},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {103--117},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_7},
doi = {10.1007/978-3-540-74621-8\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArnaudCD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CaleiroR07,
author = {Carlos Caleiro and
Jaime Ramos},
editor = {Boris Konev and
Frank Wolter},
title = {Combining Classical and Intuitionistic Implications},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {118--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_8},
doi = {10.1007/978-3-540-74621-8\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CaleiroR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ChabinR07,
author = {Jacques Chabin and
Pierre R{\'{e}}ty},
editor = {Boris Konev and
Frank Wolter},
title = {Visibly Pushdown Languages and Term Rewriting},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {252--266},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_17},
doi = {10.1007/978-3-540-74621-8\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ChabinR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ChevalierLR07,
author = {Yannick Chevalier and
Denis Lugiez and
Micha{\"{e}}l Rusinowitch},
editor = {Boris Konev and
Frank Wolter},
title = {Towards an Automatic Analysis of Web Service Security},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {133--147},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_9},
doi = {10.1007/978-3-540-74621-8\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ChevalierLR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ContejeanCFPU07,
author = {Evelyne Contejean and
Pierre Courtieu and
Julien Forest and
Olivier Pons and
Xavier Urbain},
editor = {Boris Konev and
Frank Wolter},
title = {Certification of Automated Termination Proofs},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {148--162},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_10},
doi = {10.1007/978-3-540-74621-8\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ContejeanCFPU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DixonFK07,
author = {Clare Dixon and
Michael Fisher and
Boris Konev},
editor = {Boris Konev and
Frank Wolter},
title = {Temporal Logic with Capacity Constraints},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {163--177},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_11},
doi = {10.1007/978-3-540-74621-8\_11},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DixonFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/French07,
author = {Tim French},
editor = {Boris Konev and
Frank Wolter},
title = {Idempotent Transductions for Modal Logics},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {178--192},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_12},
doi = {10.1007/978-3-540-74621-8\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/French07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/FrenchMR07,
author = {Tim French and
John Christopher McCabe{-}Dansted and
Mark Reynolds},
editor = {Boris Konev and
Frank Wolter},
title = {A Temporal Logic of Robustness},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {193--205},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_13},
doi = {10.1007/978-3-540-74621-8\_13},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/FrenchMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GhilardiNRZ07,
author = {Silvio Ghilardi and
Enrica Nicolini and
Silvio Ranise and
Daniele Zucchelli},
editor = {Boris Konev and
Frank Wolter},
title = {Noetherianity and Combination Problems},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {206--220},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_14},
doi = {10.1007/978-3-540-74621-8\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/GhilardiNRZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KrsticG07,
author = {Sava Krstic and
Amit Goel},
editor = {Boris Konev and
Frank Wolter},
title = {Architecting Solvers for {SAT} Modulo Theories: Nelson-Oppen with
{DPLL}},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {1--27},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_1},
doi = {10.1007/978-3-540-74621-8\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KrsticG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/OhsakiS07,
author = {Hitoshi Ohsaki and
Hiroyuki Seki},
editor = {Boris Konev and
Frank Wolter},
title = {Languages Modulo Normalization},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {221--236},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_15},
doi = {10.1007/978-3-540-74621-8\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/OhsakiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RaniseRT07,
author = {Silvio Ranise and
Christophe Ringeissen and
Duc{-}Khanh Tran},
editor = {Boris Konev and
Frank Wolter},
title = {Combining Proof-Producing Decision Procedures},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {237--251},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_16},
doi = {10.1007/978-3-540-74621-8\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RaniseRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Schneider-KampTACG07,
author = {Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Elena Annov and
Michael Codish and
J{\"{u}}rgen Giesl},
editor = {Boris Konev and
Frank Wolter},
title = {Proving Termination Using Recursive Path Orders and {SAT} Solving},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {267--282},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_18},
doi = {10.1007/978-3-540-74621-8\_18},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Schneider-KampTACG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Sebastiani07,
author = {Roberto Sebastiani},
editor = {Boris Konev and
Frank Wolter},
title = {From {KSAT} to Delayed Theory Combination: Exploiting {DPLL} Outside
the {SAT} Domain},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {28--46},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_2},
doi = {10.1007/978-3-540-74621-8\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Sebastiani07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Sofronie-Stokkermans07,
author = {Viorica Sofronie{-}Stokkermans},
editor = {Boris Konev and
Frank Wolter},
title = {Hierarchical and Modular Reasoning in Complex Theories: The Case of
Local Theory Extensions},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {47--71},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_3},
doi = {10.1007/978-3-540-74621-8\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Sofronie-Stokkermans07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Zakharyaschev07,
author = {Michael Zakharyaschev},
editor = {Boris Konev and
Frank Wolter},
title = {Temporalising Logics: Fifteen Years After},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {72},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_4},
doi = {10.1007/978-3-540-74621-8\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Zakharyaschev07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2007,
editor = {Boris Konev and
Frank Wolter},
title = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8},
doi = {10.1007/978-3-540-74621-8},
isbn = {978-3-540-74620-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AbelCN05,
author = {Andreas Abel and
Thierry Coquand and
Ulf Norell},
editor = {Bernhard Gramlich},
title = {Connecting a Logical Framework to a First-Order Logic Prover},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {285--301},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_17},
doi = {10.1007/11559306\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AbelCN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlfaroSFLRS05,
author = {Luca de Alfaro and
Leandro Dias da Silva and
Marco Faella and
Axel Legay and
Pritam Roy and
Maria Sorea},
editor = {Bernhard Gramlich},
title = {Sociable Interfaces},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {81--105},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_5},
doi = {10.1007/11559306\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlfaroSFLRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArmandoBRS05,
author = {Alessandro Armando and
Maria Paola Bonacina and
Silvio Ranise and
Stephan Schulz},
editor = {Bernhard Gramlich},
title = {On a Rewriting Approach to Satisfiability Procedures: Extension, Combination
of Theories and an Experimental Appraisal},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {65--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_4},
doi = {10.1007/11559306\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArmandoBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderG05,
author = {Franz Baader and
Silvio Ghilardi},
editor = {Bernhard Gramlich},
title = {Connecting Many-Sorted Structures and Theories Through Adjoint Functions},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {31--47},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_2},
doi = {10.1007/11559306\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BaaderG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Borger05,
author = {Egon B{\"{o}}rger},
editor = {Bernhard Gramlich},
title = {The {ASM} Method for System Design and Analysis. {A} Tutorial Introduction},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {264--283},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_15},
doi = {10.1007/11559306\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Borger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CuiDX05,
author = {Sa Cui and
Kevin Donnelly and
Hongwei Xi},
editor = {Bernhard Gramlich},
title = {{ATS:} {A} Language That Combines Programming with Theorem Proving},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {310--320},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_19},
doi = {10.1007/11559306\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CuiDX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Djelloul05,
author = {Khalil Djelloul},
editor = {Bernhard Gramlich},
title = {About the Combination of Trees and Rational Numbers in a Complete
First-Order Theory},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {106--121},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_6},
doi = {10.1007/11559306\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Djelloul05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GhilardiNZ05,
author = {Silvio Ghilardi and
Enrica Nicolini and
Daniele Zucchelli},
editor = {Bernhard Gramlich},
title = {A Comprehensive Framework for Combined Decision Procedures},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {1--30},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_1},
doi = {10.1007/11559306\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GhilardiNZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GieslTS05,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp},
editor = {Bernhard Gramlich},
title = {Proving and Disproving Termination of Higher-Order Functions},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {216--231},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_12},
doi = {10.1007/11559306\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/GieslTS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Giunchiglia05,
author = {Fausto Giunchiglia},
editor = {Bernhard Gramlich},
title = {Matching Classifications via a Bidirectional Integration of {SAT}
and Linguistic Resources},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {284--284},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_16},
doi = {10.1007/11559306\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Giunchiglia05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/JovanovicJ05,
author = {Dejan Jovanovic and
Predrag Janicic},
editor = {Bernhard Gramlich},
title = {Logical Analysis of Hash Functions},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {200--215},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_11},
doi = {10.1007/11559306\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/JovanovicJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KoprowskiZ05,
author = {Adam Koprowski and
Hans Zantema},
editor = {Bernhard Gramlich},
title = {Proving Liveness with Fairness Using Rewriting},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {232--247},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_13},
doi = {10.1007/11559306\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KoprowskiZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LahiriM05,
author = {Shuvendu K. Lahiri and
Madanlal Musuvathi},
editor = {Bernhard Gramlich},
title = {An Efficient Decision Procedure for {UTVPI} Constraints},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {168--183},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_9},
doi = {10.1007/11559306\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LahiriM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/MonfroySL05,
author = {{\'{E}}ric Monfroy and
Fr{\'{e}}d{\'{e}}ric Saubion and
Tony Lambert},
editor = {Bernhard Gramlich},
title = {Hybrid {CSP} Solving},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {138--167},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_8},
doi = {10.1007/11559306\_8},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/MonfroySL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/NiehrenSS05,
author = {Joachim Niehren and
Jan Schwinghammer and
Gert Smolka},
editor = {Bernhard Gramlich},
title = {A Concurrent Lambda Calculus with Futures},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {248--263},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_14},
doi = {10.1007/11559306\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/NiehrenSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PattinsonR05,
author = {Dirk Pattinson and
Bernhard Reus},
editor = {Bernhard Gramlich},
title = {A Complete Temporal and Spatial Logic for Distributed Systems},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {122--137},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_7},
doi = {10.1007/11559306\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PattinsonR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RaniseRZ05,
author = {Silvio Ranise and
Christophe Ringeissen and
Calogero G. Zarba},
editor = {Bernhard Gramlich},
title = {Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted
Logic},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {48--64},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_3},
doi = {10.1007/11559306\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RaniseRZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Tverdyshev05,
author = {Sergey Tverdyshev},
editor = {Bernhard Gramlich},
title = {Combination of Isabelle/HOL with Automatic Tools},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {302--309},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_18},
doi = {10.1007/11559306\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Tverdyshev05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Virseda05,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Bernhard Gramlich},
title = {Declarative Constraint Programming with Definitional Trees},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {184--199},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_10},
doi = {10.1007/11559306\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Virseda05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2005,
editor = {Bernhard Gramlich},
title = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306},
doi = {10.1007/11559306},
isbn = {3-540-29051-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AutexierM02,
author = {Serge Autexier and
Till Mossakowski},
editor = {Alessandro Armando},
title = {Integrating {HOL-CASL} into the Development Graph Manager {MAYA}},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {2--17},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_2},
doi = {10.1007/3-540-45988-X\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AutexierM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BalbianiC02,
author = {Philippe Balbiani and
Jean{-}Fran{\c{c}}ois Condotta},
editor = {Alessandro Armando},
title = {Computational Complexity of Propositional Linear Temporal Logics Based
on Qualitative Spatial or Temporal Reasoning},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {162--176},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_13},
doi = {10.1007/3-540-45988-X\_13},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BalbianiC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BarrettDS02,
author = {Clark W. Barrett and
David L. Dill and
Aaron Stump},
editor = {Alessandro Armando},
title = {A Generalization of Shostak's Method for Combining Decision Procedures},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {132--146},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_11},
doi = {10.1007/3-540-45988-X\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BarrettDS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BurriezaG02,
author = {Alfredo Burrieza and
Inman P. de Guzm{\'{a}}n},
editor = {Alessandro Armando},
title = {A Temporal {\texttimes} Modal Approach to the Definability of Properties
of Functions},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {239--254},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_19},
doi = {10.1007/3-540-45988-X\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BurriezaG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CadoliM02,
author = {Marco Cadoli and
Toni Mancini},
editor = {Alessandro Armando},
title = {Combining Relational Algebra, SQL, and Constraint Programming},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {147--161},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_12},
doi = {10.1007/3-540-45988-X\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CadoliM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CeberioG02,
author = {Martine Ceberio and
Laurent Granvilliers},
editor = {Alessandro Armando},
title = {Solving Nonlinear Equations by Abstraction, Gaussian Elimination,
and Interval Methods},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {117--131},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_10},
doi = {10.1007/3-540-45988-X\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CeberioG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CimattiGPRST02,
author = {Alessandro Cimatti and
Enrico Giunchiglia and
Marco Pistore and
Marco Roveri and
Roberto Sebastiani and
Armando Tacchella},
editor = {Alessandro Armando},
title = {Integrating BDD-Based and SAT-Based Symbolic Model Checking},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {49--56},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_5},
doi = {10.1007/3-540-45988-X\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CimattiGPRST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Delzanno02,
author = {Giorgio Delzanno},
editor = {Alessandro Armando},
title = {Constraint-Based Model Checking for Parameterized Synchronous Systems},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {72--86},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_7},
doi = {10.1007/3-540-45988-X\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Delzanno02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/FruhwirthA02,
author = {Thom W. Fr{\"{u}}hwirth and
Slim Abdennadher},
editor = {Alessandro Armando},
title = {Tutorial: Reasoning with, about and for Constraint Handling Rules},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {192},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_15},
doi = {10.1007/3-540-45988-X\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/FruhwirthA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GavanelliLMM02,
author = {Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Alessandro Armando},
title = {Exploiting Constraints for Domain Managing in {CLP(FD)}},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {177--191},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_14},
doi = {10.1007/3-540-45988-X\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GavanelliLMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HolzlC02,
author = {Matthias M. H{\"{o}}lzl and
John N. Crossley},
editor = {Alessandro Armando},
title = {Constraint-Lambda Calculi},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {207--221},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_17},
doi = {10.1007/3-540-45988-X\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/HolzlC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Kapur02,
author = {Deepak Kapur},
editor = {Alessandro Armando},
title = {A Rewrite Rule Based Framework for Combining Decision Procedures},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {87--102},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_8},
doi = {10.1007/3-540-45988-X\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Kapur02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LuthG02,
author = {Christoph L{\"{u}}th and
Neil Ghani},
editor = {Alessandro Armando},
title = {Monads and Modularity},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {18--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_3},
doi = {10.1007/3-540-45988-X\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LuthG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Marte02,
author = {Michael Marte},
editor = {Alessandro Armando},
title = {A Modular Approach to Proving Confluence},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {33--48},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_4},
doi = {10.1007/3-540-45988-X\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Marte02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Melham02,
author = {Thomas F. Melham},
editor = {Alessandro Armando},
title = {{PROSPER} - An Investigation into Software Architecture for Embedded
Proof Engines},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {193--206},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_16},
doi = {10.1007/3-540-45988-X\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Melham02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Nelson02,
author = {Greg Nelson},
editor = {Alessandro Armando},
title = {Foundations of a Constraint-Based Illustrator},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {1},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_1},
doi = {10.1007/3-540-45988-X\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Nelson02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RasgaSSV02,
author = {Jo{\~{a}}o Rasga and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Luca Vigan{\`{o}}},
editor = {Alessandro Armando},
title = {Labelled Deduction over Algebras of Truth-Values},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {222--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_18},
doi = {10.1007/3-540-45988-X\_18},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RasgaSSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Yavuz-KahveciB02,
author = {Tuba Yavuz{-}Kahveci and
Tevfik Bultan},
editor = {Alessandro Armando},
title = {Heuristics for Efficient Manipulation of Composite Constraints},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {57--71},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_6},
doi = {10.1007/3-540-45988-X\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Yavuz-KahveciB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Zarba02,
author = {Calogero G. Zarba},
editor = {Alessandro Armando},
title = {Combining Sets with Integers},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {103--116},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_9},
doi = {10.1007/3-540-45988-X\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Zarba02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2002,
editor = {Alessandro Armando},
title = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X},
doi = {10.1007/3-540-45988-X},
isbn = {3-540-43381-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AntoyH00,
author = {Sergio Antoy and
Michael Hanus},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Compiling Multi-Paradigm Declarative Programs into Prolog},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {171--185},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_12},
doi = {10.1007/10720084\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AntoyH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArmandoR00,
author = {Alessandro Armando and
Silvio Ranise},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Termination of Constraint Contextual Rewriting},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {47--61},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_4},
doi = {10.1007/10720084\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArmandoR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderT00,
author = {Franz Baader and
Cesare Tinelli},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Combining Equational Theories Sharing Non-Collapse-Free Constructors},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {260--274},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_17},
doi = {10.1007/10720084\_17},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BachmairRTV00,
author = {Leo Bachmair and
I. V. Ramakrishnan and
Ashish Tiwari and
Laurent Vigneron},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Congruence Closure Modulo Associativity and Commutativity},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {245--259},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_16},
doi = {10.1007/10720084\_16},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BachmairRTV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BockmayrE00,
author = {Alexander Bockmayr and
Friedrich Eisenbrand},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Combining Logic and Optimization in Cutting Plane Theory},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {1--17},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_1},
doi = {10.1007/10720084\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BockmayrE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BofillGNR00,
author = {Miquel Bofill and
Guillem Godoy and
Robert Nieuwenhuis and
Albert Rubio},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Modular Redundancy for Theorem Proving},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {186--199},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_13},
doi = {10.1007/10720084\_13},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BofillGNR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CoglioGMT00,
author = {Alessandro Coglio and
Fausto Giunchiglia and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Composing and Controlling Search in Reasoning Theories Using Mappings},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {200--216},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_14},
doi = {10.1007/10720084\_14},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CoglioGMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CruzB00,
author = {Jorge Cruz and
Pedro Barahona},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Handling Differential Equations with Constraints for Decision Support},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {105--120},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_8},
doi = {10.1007/10720084\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CruzB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DovierPP00,
author = {Agostino Dovier and
Carla Piazza and
Alberto Policriti},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Comparing Expressiveness of Set Constructor Symbols},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {275--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_18},
doi = {10.1007/10720084\_18},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DovierPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Dowek00,
author = {Gilles Dowek},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Axioms vs. Rewrite Rules: From Completeness to Cut Elimination},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {62--72},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_5},
doi = {10.1007/10720084\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Dowek00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Granvilliers00,
author = {Laurent Granvilliers},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Towards Cooperative Interval Narrowing},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {18--31},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_2},
doi = {10.1007/10720084\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Granvilliers00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HustadtDSF00,
author = {Ullrich Hustadt and
Clare Dixon and
Renate A. Schmidt and
Michael Fisher},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Normal Forms and Proofs in Combined Modal and Temporal Logics},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {73--87},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_6},
doi = {10.1007/10720084\_6},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/HustadtDSF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Lucio00,
author = {Paqui Lucio},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Structured Sequent Calculi for Combining Intuitionistic and Classical
First-Order Logic},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {88--104},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_7},
doi = {10.1007/10720084\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Lucio00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/MelisZM00,
author = {Erica Melis and
J{\"{u}}rgen Zimmer and
Tobias M{\"{u}}ller},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Integrating Constraint Solving into Proof Planning},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {32--46},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_3},
doi = {10.1007/10720084\_3},
timestamp = {Mon, 06 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/MelisZM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PollT00,
author = {Erik Poll and
Simon J. Thompson},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Integrating Computer Algebra and Reasoning through the Type System
of Aldor},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {136--150},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_10},
doi = {10.1007/10720084\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PollT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Schulz00,
author = {Klaus U. Schulz},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Why Combined Decision Problems Are Often Intractable},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {217--244},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_15},
doi = {10.1007/10720084\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Schulz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Sorge00,
author = {Volker Sorge},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Non-Trivial Symbolic Computations in Proof Planning},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {121--135},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_9},
doi = {10.1007/10720084\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Sorge00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Uribe00,
author = {Tom{\'{a}}s E. Uribe},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Combinations of Model Checking and Theorem Proving},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {151--170},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_11},
doi = {10.1007/10720084\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Uribe00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2000,
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084},
doi = {10.1007/10720084},
isbn = {3-540-67281-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AptS98,
author = {Krzysztof R. Apt and
Andrea Schaerf},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Programming in Alma-0, or Imperative and Declarative Programming Reconciled},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {1--18},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 11:39:04 +0100},
biburl = {https://dblp.org/rec/conf/frocos/AptS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Ayala-Rincon98,
author = {Mauricio Ayala{-}Rinc{\'{o}}n},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Church-Rosser Property for Conditional Rewriting Systems with Built-in
Predicates as Premises},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {17--38},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Ayala-Rincon98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BasinF98,
author = {David A. Basin and
Stefan Friedrich},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Combining {WS1S} and {HOL}},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {39--56},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BasinF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BasinV98,
author = {David A. Basin and
Luca Vigan{\`{o}}},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {A Recipe for the Complexity Analysis of Non-Classical Logics},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {57--76},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Wed, 24 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BasinV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BeniniNP98,
author = {Marco Benini and
Dirk Nowotka and
Carl Pulley},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Computer Arithmetic: Logic, Calculus and Rewriting},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {77--94},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BeniniNP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CirsteaK98,
author = {Horatiu Cirstea and
Claude Kirchner},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Combining First and Higher-Order Computations Using rho-Calculus:
Towards a Semantics of {ELAN}},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {95--120},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CirsteaK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GhidiniS98,
author = {Chiara Ghidini and
Luciano Serafini},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Distributed First Order Logic},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {121--140},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GhidiniS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GieslO98,
author = {J{\"{u}}rgen Giesl and
Enno Ohlebusch},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Pushing the Frontiers of Combining Rewrite Systems Farther Outwards},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {141--160},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GieslO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Howe98,
author = {Douglas J. Howe},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Toward Sharing Libraries of Mathematics between Theorem Provers},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {161--176},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Howe98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Kepser98,
author = {Stephan Kepser},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Negation in Combining Constraint Systems},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {177--192},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Kepser98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KepserR98,
author = {Stephan Kepser and
J{\"{o}}rn Richts},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Optimisation Techniques for Combining Constraint Solvers},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {193--210},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/KepserR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Monfroy98,
author = {{\'{E}}ric Monfroy},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {The Constraint Solver Collaboration Language of {BALI}},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {211--230},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Monfroy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Naumann98,
author = {Ralf Naumann},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {A Hybrid Language for the Analysis of Aspectual and Temporal Phenomena
in Natural Language},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {231--254},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Naumann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Petermann98,
author = {Uwe Petermann},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Combining Semantical and Syntactical Theory Reasoning},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {255--274},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Petermann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Prestwich98,
author = {Steven D. Prestwich},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {A Generic Approach to Combining Stochastic Algorithms with Systematic
Constraint Solvers},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {275--294},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 07 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Prestwich98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SernadasSCM98,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Carlos Caleiro and
Till Mossakowski},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Categorial Fibring of Logics with Terms and Binding Operators},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {295--316},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/SernadasSCM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SlindB98,
author = {Konrad Slind and
Richard J. Boulton},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Iterative Dialogue and Automated Proofs},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {317--336},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/SlindB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Tarlecki98,
author = {Andrzej Tarlecki},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Towards Heterogeneous Specifications},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {337--360},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Tarlecki98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WangG98,
author = {Tie{-}Cheng Wang and
Allen Goldberg},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Integration of Linear Arithmetic and Goal-Oriented Resolution for
Software Reasoning},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {361--378},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WangG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WolterZ98,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Temporalizing Description Logics},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {379--402},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WolterZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/1998,
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
publisher = {Research Studies Press/Wiley},
year = {1998},
url = {http://staff.science.uva.nl/\&\#126;mdr/Publications/Details/frocos2.html},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BasinMV96,
author = {David A. Basin and
Se{\'{a}}n Matthews and
Luca Vigan{\`{o}}},
editor = {Franz Baader and
Klaus U. Schulz},
title = {A Topography of Labelled Modal Logics},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {75--92},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 13:54:49 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BasinMV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Buchberger96,
author = {Bruno Buchberger},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Symbolic Computation: Computer Algebra and Logic},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {193--219},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Buchberger96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CalmetH96,
author = {Jacques Calmet and
Karsten Homann},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Classification of Communication and Cooperation Mechanisms for Logical
and Symbolic Computation Systems},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {221--234},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CalmetH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CerroH96,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication
as a Conditional},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {93--102},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CerroH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Chen96,
author = {Xiao Jun Chen},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Model Checking {ACTL} Constrained Processes},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {377--388},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Chen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CrossleyMW96,
author = {John N. Crossley and
Luis Mandel and
Martin Wirsing},
editor = {Franz Baader and
Klaus U. Schulz},
title = {First-Order Constrained Lambda Calculus},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {339--356},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CrossleyMW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DahnW96,
author = {Bernd I. Dahn and
Andreas Wolf},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Natural Language Presentation and Combination of Automatically Generated
Proofs},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {175--192},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/DahnW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DentiNOV96,
author = {Enrico Denti and
Antonio Natali and
Andrea Omicini and
Marco Venuti},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {235--248},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/DentiNOV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DovierPR96,
author = {Agostino Dovier and
Alberto Policriti and
Gianfranco Rossi},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Integrating Lists, Multisets, and Sets in a Logic Programming Framework},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {303--319},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/DovierPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Gabbay96,
author = {Dov M. Gabbay},
editor = {Franz Baader and
Klaus U. Schulz},
title = {An Overview of Fibred Semantics and the Combination of Logics},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {1--55},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Gabbay96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GiunchigliaPT96,
author = {Fausto Giunchiglia and
Paolo Pecchiari and
Carolyn L. Talcott},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning
Systems},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {157--174},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GiunchigliaPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HabraC96,
author = {Naji Habra and
Baudouin Le Charlier},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Unified Relational Framework for Programming Paradigm Combination},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {357--375},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/HabraC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LammaMM96,
author = {Evelina Lamma and
Michela Milano and
Paola Mello},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Combining Solvers in a Meta Constraint Logic Programming Architecture},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {267--283},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/LammaMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LandauerB96,
author = {Christopher Landauer and
Kirstie L. Bellman},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Integration Systems and Interaction Spaces},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {249--266},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/LandauerB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/MesnardHM96,
author = {Fr{\'{e}}d{\'{e}}ric Mesnard and
S{\'{e}}bastien Hoarau and
Alexandra Maillard},
editor = {Franz Baader and
Klaus U. Schulz},
title = {CLP(chi) for Proving Program Properties},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {321--338},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/MesnardHM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Ringeissen96,
author = {Christophe Ringeissen},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Cooperation of Decision Procedures for the Satisfiability Problem},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {121--139},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Ringeissen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Russo96,
author = {Alessandra Russo},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Generalising Propositional Modal Logic Using Labelled Deductive Systems},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {57--73},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Russo96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SlaneyS96,
author = {John K. Slaney and
Timothy J. Surendonk},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Combining Finite Model Generation with Theorem Proving: Problems and
Prospects},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {141--155},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/SlaneyS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Stolzenburg96,
author = {Frieder Stolzenburg},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Membership-Constraints and Complexity in Logic Programming with Sets},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {285--302},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Stolzenburg96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/TinelliH96,
author = {Cesare Tinelli and
Mehdi T. Harandi},
editor = {Franz Baader and
Klaus U. Schulz},
title = {A New Correctness Proof of the \{Nelson-Oppen\} Combination Procedure},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {103--119},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/TinelliH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/1996,
editor = {Franz Baader and
Klaus U. Schulz},
title = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
publisher = {Kluwer Academic Publishers},
year = {1996},
isbn = {0-7923-4271-2},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/1996.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 2025-01-01 03:59 CET 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:
