The Dependency Triple Framework for Termination of Logic Programs

Activity: Talks and presentationsTalks and presentations in private or public companies

Period10. Sep 2009
Event titleInternational Symposium on Logic-Based Program Synthesis and Transformation
Event typeConference
Conference number19
LocationCoimbra, Portugal