From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories |
scientific article |
Statements
From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (English)
0 references
12 March 2018
0 references
behavioral theory
0 references
rewrite theory
0 references
transformation
0 references
linear-time property
0 references
0 references
