Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Phúc C. Nguyễn
Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs
Related publications
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Role of Congress in Contract Termination
Law and Contemporary Problems
Law
Automatic Termination Analysis of Logic Programs
Adoption and Termination of Employee Involvement Programs
On Termination of Constraint Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Section 8(d) of Lmra as a Ban on Strikes Before Contract Termination
Yale Law Journal
Law
Duration, Lawful Termination, and Frustration of the Employment Contract
Proving Existential Termination of Normal Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Practical Methods for Proving Termination of General Logic Programs
Journal of Artificial Intelligence Research
Artificial Intelligence
