scientific article; zbMATH DE number 7453200

MaRDI QIDQ5020661

No author found.

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Miranda

Cites Work

• Unnamed Item
• Unnamed Item
• Decision procedures. An algorithmic point of view
• Equational problems and disunification
• A decision procedure for (co)datatypes in SMT solvers
• Solvable cases of the decision problem
• Theory of finite or infinite trees revisited
• Reasoning About Recursively Defined Data Structures
• Higher-Order Model Checking: An Overview
• An improved lower bound for the elementary theories of trees
• A variant of a recursively unsolvable problem

This page was built for publication: