Quantitative Automata and Logic for Pictures and Data Words
Mathematical logic and automata theory are two scientific disciplines with a close relationship that is not only fundamental for many theoretical results but also forms the basis of a coherent methodology for the verification and synthesis of computing systems. This connection goes back to a much lo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-221165 https://ul.qucosa.de/id/qucosa%3A15443 https://ul.qucosa.de/api/qucosa%3A15443/attachment/ATT-0/ |