Verifying recursive active documents with positive data tree rewriting (Q2908878)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verifying recursive active documents with positive data tree rewriting |
scientific article; zbMATH DE number 6073555
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying recursive active documents with positive data tree rewriting |
scientific article; zbMATH DE number 6073555 |
Statements
29 August 2012
0 references
active documents
0 references
guarded active XML
0 references
verification
0 references
data trees
0 references
tree rewriting
0 references
well-structured systems
0 references
Verifying recursive active documents with positive data tree rewriting (English)
0 references
