Computational Logic — CL 2000 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

91
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540677970, 9783540449577
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets

2000 ◽  
pp. 972-986 ◽  
Author(s):  
Yves Bastide ◽  
Nicolas Pasquier ◽  
Rafik Taouil ◽  
Gerd Stumme ◽  
Lotfi Lakhal
Keyword(s):  
Association Rules ◽  
Closed Itemsets

A Module Based Analysis for Memory Reuse in Mercury

2000 ◽  
pp. 1255-1269 ◽  
Author(s):  
Nancy Mazur ◽  
Gerda Janssens ◽  
Maurice Bruynooghe
Keyword(s):  
Memory Reuse

Binary Speed Up for Logic Programs

2000 ◽  
pp. 116-130
Author(s):  
Jan Hrůza ◽  
Petr Štěánek
Keyword(s):  
Logic Programs ◽  
Speed Up

On Verification in Logic Database Languages

2000 ◽  
pp. 957-971
Author(s):  
Francesco Bonchi ◽  
Fosca Giannotti ◽  
Dino Pedreschi

Model Checking for Timed Logic Processes

2000 ◽  
pp. 598-612 ◽  
Author(s):  
Supratik Mukhopadhyay ◽  
Andreas Podelski
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document