scientific article

MaRDI QIDQ3384905

António Ravara

Publication date: 17 December 2021

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

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)

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Logic in Computer Science
• Logical Foundations of Proof Complexity
• On sentences which are true of direct unions of algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: