Proving Termination of Logic Programs with Delay Declarations - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Elena Marchiori, Frank Teusink. Proving Termination of Logic Programs with Delay Declarations. In ILPS. pages 447-461, 1995.

The following publications are possibly variants of this publication:

Termination of Logic Programs with Delay DeclarationsElena Marchiori, Frank Teusink. jlp, 39(1-3):95-124, 1999.

A Methodology for Proving Termination of General Logic ProgramsElena Marchiori. IJCAI 1995: 356-361

Practical Methods for Proving Termination of General Logic ProgramsElena Marchiori. jair, 4:179-208, 1996.

Proving Existential Termination of Normal Logic ProgramsMassimo Marchiori. amast 1996: 375-390

runs on WebDSL