![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
8. FroCos 2011: Saarbrücken, Germany
- Cesare Tinelli
, Viorica Sofronie-Stokkermans:
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings. Lecture Notes in Computer Science 6989, Springer 2011, ISBN 978-3-642-24363-9
Invited Papers
- Alessandro Artale, Roman Kontchakov
, Vladislav Ryzhikov, Michael Zakharyaschev
:
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. 1-11 - Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow
:
Automatic Proof and Disproof in Isabelle/HOL. 12-27 - Martin Lange:
Size-Change Termination and Satisfiability for Linear-Time Temporal Logics. 28-39
Contributed Papers
- Carlos Areces, Pascal Fontaine:
Combining Theories: The Ackerman and Guarded Fragments. 40-54 - Franz Baader
, Rafael Peñaloza
:
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. 55-70 - Marcello M. Bersani, Stéphane Demri:
The Complexity of Reversal-Bounded Model-Checking. 71-86 - François Bobot
, Andrey Paskevich:
Expressing Polymorphic Types in a Many-Sorted Language. 87-102 - Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
:
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints. 103-118 - Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach:
Superposition Modulo Non-linear Arithmetic. 119-134 - Luis Fariñas del Cerro, Andreas Herzig:
The Modal Logic of Equilibrium Models. 135-146 - Carsten Fuhs, Cynthia Kop:
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs. 147-162 - Alberto Griggio
, Quoc-Sang Phan
, Roberto Sebastiani, Silvia Tomasi:
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. 163-178 - Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
:
Controlled Term Rewriting. 179-194 - Dejan Jovanovic, Clark W. Barrett
:
Sharing Is Caring: Combination of Theories. 195-210 - Christophe Ringeissen, Valerio Senni
:
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. 211-226 - Manfred Schmidt-Schauß, David Sabel
, Altug Anis:
Congruence Closure of Compressed Terms in Polynomial Time. 227-242 - Christian Sternagel, René Thiemann
:
Generalized and Formalized Uncurrying. 243-258 - Shahab Tasharrofi, Eugenia Ternovska:
A Semantic Account for Modularity in Multi-language Modelling of Search Problems. 259-274
![](https://dblp.org/img/cog.dark.24x24.png)
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.