A Constructor-Based Reachability Logic for Rewrite Theories (Q5134281)
From MaRDI portal
scientific article; zbMATH DE number 7274558
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Constructor-Based Reachability Logic for Rewrite Theories |
scientific article; zbMATH DE number 7274558 |
Statements
A Constructor-Based Reachability Logic for Rewrite Theories (English)
0 references
16 November 2020
0 references
reachability logic
0 references
rewriting logic
0 references
deductive verification
0 references
