Satisfiability for MTL and TPTL over Non-monotonic Data Words (Q5404916)
From MaRDI portal
scientific article; zbMATH DE number 6275865
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Satisfiability for MTL and TPTL over Non-monotonic Data Words |
scientific article; zbMATH DE number 6275865 |
Statements
Satisfiability for MTL and TPTL over Non-monotonic Data Words (English)
0 references
31 March 2014
0 references
