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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document