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

Normal Forms and Proofs in Combined Modal and Temporal Logics

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

Combinations of Model Checking and Theorem Proving

2000 ◽  
pp. 151-170 ◽  
Author(s):  
Tomás E. Uribe
Keyword(s):  
Model Checking ◽  
Theorem Proving

Termination of Constraint Contextual Rewriting

2000 ◽  
pp. 47-61 ◽  
Author(s):  
Alessandro Armando ◽  
Silvio Ranise

Combining Equational Theories Sharing Non-Collapse-Free Constructors

2000 ◽  
pp. 260-274 ◽  
Author(s):  
Franz Baader ◽  
Cesare Tinelli
Keyword(s):  
Equational Theories

Why Combined Decision Problems Are Often Intractable

2000 ◽  
pp. 217-244 ◽  
Author(s):  
Klaus U. Schulz
Keyword(s):  
Decision Problems

Composing and Controlling Search in Reasoning Theories Using Mappings

2000 ◽  
pp. 200-216
Author(s):  
Alessandro Coglio ◽  
Fausto Giunchiglia ◽  
José Meseguer ◽  
Carolyn L. Talcott

Combining Logic and Optimization in Cutting Plane Theory

2000 ◽  
pp. 1-17 ◽  
Author(s):  
Alexander Bockmayr ◽  
Friedrich Eisenbrand
Keyword(s):  
Cutting Plane ◽  
Plane Theory

Compiling Multi-paradigm Declarative Programs into Prolog

2000 ◽  
pp. 171-185 ◽  
Author(s):  
Sergio Antoy ◽  
Michael Hanus

Integrating Constraint Solving into Proof Planning

2000 ◽  
pp. 32-46 ◽  
Author(s):  
Erica Melis ◽  
Jürgen Zimmer ◽  
Tobias Müller
Keyword(s):  
Constraint Solving ◽  
Proof Planning

Modular Redundancy for Theorem Proving

2000 ◽  
pp. 186-199
Author(s):  
Miquel Bofill ◽  
Guillem Godoy ◽  
Robert Nieuwenhuis ◽  
Albert Rubio
Keyword(s):  
Theorem Proving ◽  
Modular Redundancy
Load More ...
Sign in / Sign up

Export Citation Format

Share Document