Manh Thang Nguyen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Polytool: polynomial interpretations as a basis for termination analysis of logic programs Theory and Practice of Logic Programming	2011-08-17	Paper
The dependency triple framework for termination of logic programs Logic-Based Program Synthesis and Transformation	2010-05-04	Paper
Termination Analysis of Logic Programs Based on Dependency Graphs Logic-Based Program Synthesis and Transformation	2009-01-22	Paper
Logic Programming Lecture Notes in Computer Science	2006-06-27	Paper

Research outcomes over time

This page was built for person: Manh Thang Nguyen