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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540290513, 9783540317302
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Comprehensive Framework for Combined Decision Procedures

2005 ◽  
pp. 1-30 ◽  
Author(s):  
Silvio Ghilardi ◽  
Enrica Nicolini ◽  
Daniele Zucchelli
Keyword(s):  
Decision Procedures ◽  
Comprehensive Framework

scholarly journals Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

2005 ◽  
pp. 48-64 ◽  
Author(s):  
Silvio Ranise ◽  
Christophe Ringeissen ◽  
Calogero G. Zarba
Keyword(s):  
Data Structures ◽  
Combining Data

Proving and Disproving Termination of Higher-Order Functions

2005 ◽  
pp. 216-231 ◽  
Author(s):  
Jürgen Giesl ◽  
René Thiemann ◽  
Peter Schneider-Kamp
Keyword(s):  
Higher Order ◽  
Higher Order Functions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document