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

9783540672814, 9783540464211

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Termination of Constraint Contextual Rewriting

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_4 ◽

2000 ◽

pp. 47-61 ◽

Author(s):

Alessandro Armando ◽

Silvio Ranise

Download Full-text

Combining Equational Theories Sharing Non-Collapse-Free Constructors

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_17 ◽

2000 ◽

pp. 260-274 ◽

Author(s):

Franz Baader ◽

Cesare Tinelli

Keyword(s):

Equational Theories

Download Full-text

Why Combined Decision Problems Are Often Intractable

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_15 ◽

2000 ◽

pp. 217-244 ◽

Author(s):

Klaus U. Schulz

Keyword(s):

Decision Problems

Download Full-text

Composing and Controlling Search in Reasoning Theories Using Mappings

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_14 ◽

2000 ◽

pp. 200-216

Author(s):

Alessandro Coglio ◽

Fausto Giunchiglia ◽

José Meseguer ◽

Carolyn L. Talcott

Download Full-text

Combining Logic and Optimization in Cutting Plane Theory

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_1 ◽

2000 ◽

pp. 1-17 ◽

Author(s):

Alexander Bockmayr ◽

Friedrich Eisenbrand

Keyword(s):

Cutting Plane ◽

Download Full-text

Compiling Multi-paradigm Declarative Programs into Prolog

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_12 ◽

2000 ◽

pp. 171-185 ◽

Author(s):

Sergio Antoy ◽

Michael Hanus

Download Full-text

Normal Forms and Proofs in Combined Modal and Temporal Logics

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_6 ◽

2000 ◽

pp. 73-87 ◽

Author(s):

U. Hustadt ◽

C. Dixon ◽

R. A. Schmidt ◽

M. Fisher

Keyword(s):

Normal Forms ◽

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Combinations of Model Checking and Theorem Proving

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_11 ◽

2000 ◽

pp. 151-170 ◽

Author(s):

Tomás E. Uribe

Keyword(s):

Model Checking ◽

Theorem Proving

Download Full-text

Towards Cooperative Interval Narrowing

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_2 ◽

2000 ◽

pp. 18-31 ◽

Author(s):

Laurent Granvilliers

Keyword(s):

Interval Narrowing

Download Full-text

Integrating Constraint Solving into Proof Planning

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_3 ◽

2000 ◽

pp. 32-46 ◽

Author(s):

Erica Melis ◽

Jürgen Zimmer ◽

Tobias Müller

Keyword(s):

Constraint Solving ◽

Download Full-text