Frontiers of Combining Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642243639, 9783642243646
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combining Theories: The Ackerman and Guarded Fragments

2011 ◽  
pp. 40-54 ◽  
Author(s):  
Carlos Areces ◽  
Pascal Fontaine

scholarly journals Congruence Closure of Compressed Terms in Polynomial Time

2011 ◽  
pp. 227-242 ◽  
Author(s):  
Manfred Schmidt-Schauss ◽  
David Sabel ◽  
Altug Anis
Keyword(s):  
Polynomial Time ◽  
Congruence Closure

scholarly journals The Modal Logic of Equilibrium Models

2011 ◽  
pp. 135-146 ◽  
Author(s):  
Luis Fariñas del Cerro ◽  
Andreas Herzig
Keyword(s):  
Modal Logic ◽  
Equilibrium Models

Modular Termination and Combinability for Superposition Modulo Counter Arithmetic

2011 ◽  
pp. 211-226 ◽  
Author(s):  
Christophe Ringeissen ◽  
Valerio Senni

scholarly journals Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

2011 ◽  
pp. 1-11 ◽  
Author(s):  
Alessandro Artale ◽  
Roman Kontchakov ◽  
Vladislav Ryzhikov ◽  
Michael Zakharyaschev
Keyword(s):  
Conceptual Models ◽  
Description Logics

scholarly journals Controlled Term Rewriting

2011 ◽  
pp. 179-194 ◽  
Author(s):  
Florent Jacquemard ◽  
Yoshiharu Kojima ◽  
Masahiko Sakai
Keyword(s):  
Term Rewriting

scholarly journals Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT

2011 ◽  
pp. 163-178 ◽  
Author(s):  
Alberto Griggio ◽  
Quoc-Sang Phan ◽  
Roberto Sebastiani ◽  
Silvia Tomasi
Keyword(s):  
Local Search ◽  
Stochastic Local Search

scholarly journals The Complexity of Reversal-Bounded Model-Checking

2011 ◽  
pp. 71-86 ◽  
Author(s):  
Marcello M. Bersani ◽  
Stéphane Demri
Keyword(s):  
Model Checking ◽  
Bounded Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document