Recommendations
Cites work
- scientific article; zbMATH DE number 3870643 (Why is no real title available?)
- scientific article; zbMATH DE number 3907744 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 958048 (Why is no real title available?)
- A tactic calculus. --- Abridged version
- Edinburgh LCF. A mechanized logic of computation
- Implementing tactics and tacticals in a higher-order logic programming language
Cited in
(15)- Angelic nondeterminism in the unifying theories of programming
- scientific article; zbMATH DE number 1696760 (Why is no real title available?)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
- Mechanised support for sound refinement tactics
- Angelic processes for CSP via the UTP
- Crystal: Integrating structured queries into a tactic language
- Automating refinement of Circus programs
- A tactic calculus. --- Abridged version
- Tactics for hierarchical proof
- Tinycals: step by step tacticals
- A tactic language for refinement of state-rich concurrent specifications
- A Proof-Theoretic Approach to Tactics
- ArcAngel: a tactic language for refinement
- A calculus of tactics and its operational semantics
- A Tactic Language for Hiproofs
This page was built for publication: A tactic calculus. --- Abridged version
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815345)
