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

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540746201, 9783540746218
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combining Proof-Producing Decision Procedures

2007 ◽  
pp. 237-251
Author(s):  
Silvio Ranise ◽  
Christophe Ringeissen ◽  
Duc-Khanh Tran
Keyword(s):  
Decision Procedures

A Temporal Logic of Robustness

2007 ◽  
pp. 193-205 ◽  
Author(s):  
Tim French ◽  
John C. Mc Cabe-Dansted ◽  
Mark Reynolds
Keyword(s):  
Temporal Logic

scholarly journals Proving Termination Using Recursive Path Orders and SAT Solving

2007 ◽  
pp. 267-282 ◽  
Author(s):  
Peter Schneider-Kamp ◽  
René Thiemann ◽  
Elena Annov ◽  
Michael Codish ◽  
Jürgen Giesl
Keyword(s):  
Sat Solving ◽  
Recursive Path
Load More ...
Sign in / Sign up

Export Citation Format

Share Document