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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319661667, 9783319661674
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Designing Theory Solvers with Extensions

2017 ◽  
pp. 22-40 ◽  
Author(s):  
Andrew Reynolds ◽  
Cesare Tinelli ◽  
Dejan Jovanović ◽  
Clark Barrett

scholarly journals Merging Fragments of Classical Logic

2017 ◽  
pp. 298-315 ◽  
Author(s):  
Carlos Caleiro ◽  
Sérgio Marcelino ◽  
João Marcos
Keyword(s):  
Classical Logic

Complexity Analysis for Term Rewriting by Integer Transition Systems

2017 ◽  
pp. 132-150 ◽  
Author(s):  
Matthias Naaf ◽  
Florian Frohn ◽  
Marc Brockschmidt ◽  
Carsten Fuhs ◽  
Jürgen Giesl
Keyword(s):  
Complexity Analysis ◽  
Term Rewriting ◽  
Transition Systems

scholarly journals Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

2017 ◽  
pp. 3-21 ◽  
Author(s):  
Julian Biendarra ◽  
Jasmin Christian Blanchette ◽  
Aymeric Bouzy ◽  
Martin Desharnais ◽  
Mathias Fleury ◽  
...  
Keyword(s):  
Higher Order ◽  
Order Logic ◽  
Higher Order Logic

Using Ontologies to Query Probabilistic Numerical Data

2017 ◽  
pp. 77-94 ◽  
Author(s):  
Franz Baader ◽  
Patrick Koopmann ◽  
Anni-Yasmin Turhan
Keyword(s):  
Numerical Data

scholarly journals Subtropical Satisfiability

2017 ◽  
pp. 189-206 ◽  
Author(s):  
Pascal Fontaine ◽  
Mizuhito Ogawa ◽  
Thomas Sturm ◽  
Xuan Tung Vu
Load More ...
Sign in / Sign up

Export Citation Format

Share Document