activity
20032026
most citedResource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

38 citations · 117 across the 39 of their papers we have counts for

collaborators
Showing 2010 · cs.AIShow all

1 paper · 2 filters

cs.AI2010

Introduction to the 26th International Conference on Logic Programming Special Issue

Manuel Hermenegildo, Torsten Schaub

This is the preface to the 26th International Conference on Logic Programming Special Issue