scientific article

MaRDI QIDQ3384904

Yue Li, Ekaterina Komendantskaya

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1809.04771

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Proof Relevant Corecursive Resolution
• Programming with Higher-Order Logic
• Coinductive Logic Programming and Its Applications
• Productive corecursion in logic programming
• Coinductive Logic Programming

This page was built for publication: