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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642408847, 9783642408854

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Term Rewriting with Logical Constraints

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_24 ◽

2013 ◽

pp. 343-358 ◽

Cited By ~ 12

Author(s):

Cynthia Kop ◽

Naoki Nishida

Keyword(s):

Term Rewriting ◽

Logical Constraints

Download Full-text

Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_5 ◽

2013 ◽

pp. 56-70

Author(s):

Ralf Karrenberg ◽

Marek Košta ◽

Thomas Sturm

Keyword(s):

Memory Access ◽

Presburger Arithmetic ◽

Data Parallel ◽

Parallel Languages

Download Full-text

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_10 ◽

2013 ◽

pp. 151-164 ◽

Cited By ~ 1

Author(s):

Philippe Balbiani ◽

Szabolcs Mikulás

Keyword(s):

Temporal Logic ◽

Linear Orders ◽

Decidability And Complexity

Download Full-text

Detection of First Order Axiomatic Theories

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_16 ◽

2013 ◽

pp. 229-244

Author(s):

Guillaume Burel ◽

Simon Cruanes

Keyword(s):

First Order

Download Full-text

From Resolution and DPLL to Solving Arithmetic Constraints

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_18 ◽

2013 ◽

pp. 261-262 ◽

Cited By ~ 1

Author(s):

Konstantin Korovin

Download Full-text

Computing Minimal Models Modulo Subset-Simulation for Modal Logics

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_20 ◽

2013 ◽

pp. 279-294 ◽

Cited By ~ 2

Author(s):

Fabio Papacchini ◽

Renate A. Schmidt

Keyword(s):

Modal Logics ◽

Minimal Models ◽

Subset Simulation

Download Full-text

Obtaining Finite Local Theory Axiomatizations via Saturation

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_14 ◽

2013 ◽

pp. 198-213 ◽

Cited By ~ 5

Author(s):

Matthias Horbach ◽

Viorica Sofronie-Stokkermans

Keyword(s):

Local Theory

Download Full-text

Witness Runs for Counter Machines

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_9 ◽

2013 ◽

pp. 120-150 ◽

Cited By ~ 1

Author(s):

Clark Barrett ◽

Stéphane Demri ◽

Morgan Deters

Keyword(s):

Counter Machines

Download Full-text

Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_22 ◽

2013 ◽

pp. 311-326 ◽

Cited By ~ 3

Author(s):

Takahito Aoto

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Hybrid Unification in the Description Logic $\mathcal{EL}$

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40885-4_21 ◽

2013 ◽

pp. 295-310

Author(s):

Franz Baader ◽

Oliver Fernández Gil ◽

Barbara Morawska

Keyword(s):

Description Logic

Download Full-text

Frontiers of Combining Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Term Rewriting with Logical Constraints

Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders

Detection of First Order Axiomatic Theories

From Resolution and DPLL to Solving Arithmetic Constraints

Computing Minimal Models Modulo Subset-Simulation for Modal Logics

Obtaining Finite Local Theory Axiomatizations via Saturation

Witness Runs for Counter Machines

Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering

Hybrid Unification in the Description Logic $\mathcal{EL}$

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