An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043)
From MaRDI portal
scientific article; zbMATH DE number 5934371
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Efficient Decision Procedure for Imperative Tree Data Structures |
scientific article; zbMATH DE number 5934371 |
Statements
An Efficient Decision Procedure for Imperative Tree Data Structures (English)
0 references
29 July 2011
0 references
