Infinite computation, co-induction and computational logic

DOI10.1007/978-3-642-22944-2_4MaRDI QIDQ3090859zbMATH OpenOpenAlexFDO

Authors Neda Saeedloei, Brian Devries, Richard Min, Kyle Marple, Feliks Kluźniak, Gopal Gupta

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22944-2_4

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive Logic Programming and Its Applications
• A theoretical perspective of coinductive logic programming
• Coinductive constraint logic programming
• Coinductive Logic Programming

Cited in

(22)

• Wadge reducibility and infinite computations
• Reasoning about infinite computations
• A productivity checker for logic programming
• Infinity and verifiability in Carnap's inductive logic
• On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
• Coinductive constraint logic programming
• Infinite computations and the generic finite
• A theoretical perspective of coinductive logic programming
• scientific article; zbMATH DE number 3888910 (Why is no real title available?)
• Towards coinductive theory exploration in Horn clause logic: position paper
• Extending co-logic programs for branching-time model checking
• Coalgebraic semantic model for the clock constraint specification language
• Coinductive Logic Programming and Its Applications
• scientific article; zbMATH DE number 139622 (Why is no real title available?)
• Flexible coinductive logic programming
• Co-Logic Programming: Extending Logic Programming with Coinduction
• On dual programs in co-logic programming
• Fifty Years of Prolog and Beyond
• Proof-theoretic foundations of normal logic programs
• Computing with infinitary logic
• Infinity in logic and computation. International conference, ILC 2007, Cape Town, South Africa, November 3--5, 2007. Revised selected papers
• Corrigendum: On infinite computations in denotational semantics

Describes a project that uses

Uses Software

• MMC

This page was built for publication: Infinite computation, co-induction and computational logic

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