Presentations

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols

Sergio Greco, Cristian Molinaro, Irina Trubitsyna

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.