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

Composing and Controlling Search in Reasoning Theories Using Mappings

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

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