Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Baudouin Le Charlier
Reexecution-Based Analysis of Logic Programs With Delay Declarations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Termination of Logic Programs With Delay Declarations
The Journal of Logic Programming
Termination of Logic Programs With Block Declarations Running in Several Modes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Analysis of Logic Programs
Mode Analysis of Functional Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Termination Analysis of Logic Programs
Logic Programs for Consistency-Based Diagnosis.
Task Granularity Analysis in Logic Programs
Logic Programs With Refutation Rules
