Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL (Q3055669)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL |
scientific article |
Statements
Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL (English)
0 references
9 November 2010
0 references
