scientific article; zbMATH DE number 598180

zbMATH Open0794.68102MaRDI QIDQ4299163

Milena Djambazova, Atanas A. Radensky

Publication date: 21 July 1994

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

zbMATH Keywords

correctnessrecursive functionstabulationfixpoint inductionrecursion eliminationBackus' FP-systemstransformation schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Eliminating redundant search space on backtracking for forward chaining theorem proving 👍 👎
• Rewriting systems on FP expressions to reduce the number of sequences yielded 👍 👎
• Finitely recursive programs: decidability and bottom-up computation 👍 👎
• On Finitely Recursive Programs 👍 👎
• On finitely recursive programs 👍 👎
• Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking 👍 👎
• Axiomatizations of backtracking 👍 👎

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 Q4299163)