scientific article; zbMATH DE number 2086511

zbMATH Open1057.68585MaRDI QIDQ4736992FDOQ4736992

Authors: Samir Genaim, Michael Codish, John P. Gallagher, V. Lagoon 

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2294/22940126.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2090120
• Norms on terms and their use in proving universal termination of a logic program
• Publication:4944879
• scientific article; zbMATH DE number 1948414
• Termination analysis for functional programs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (6)

• A Transformational Approach to Resource Analysis with Typed-norms Inference
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning with infinite stable models
• A Transformational Approach to Resource Analysis with Typed-Norms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736992)