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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642042218, 9783642042225
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

2009 ◽  
pp. 117-132 ◽  
Author(s):  
Takahito Aoto ◽  
Toshiyuki Yamada
Keyword(s):  
Dependency Pairs

Combining Equational Reasoning

2009 ◽  
pp. 68-83 ◽  
Author(s):  
Ashish Tiwari
Keyword(s):  
Equational Reasoning

scholarly journals Runtime Verification Using a Temporal Description Logic

2009 ◽  
pp. 149-164 ◽  
Author(s):  
Franz Baader ◽  
Andreas Bauer ◽  
Marcel Lippmann
Keyword(s):  
Description Logic ◽  
Runtime Verification

scholarly journals Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme

2009 ◽  
pp. 287-303 ◽  
Author(s):  
Stéphane Lescuyer ◽  
Sylvain Conchon
Keyword(s):  
Conversion Scheme

Efficient Combination of Decision Procedures for MUS Computation

2009 ◽  
pp. 335-349 ◽  
Author(s):  
Cédric Piette ◽  
Youssef Hamadi ◽  
Lakhdar Saïs
Keyword(s):  
Decision Procedures
Load More ...
Sign in / Sign up

Export Citation Format

Share Document