Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Mentés helye:
Szerző: | |
---|---|
Testületi szerző: | |
Különgyűjtemény: | e-book |
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Berlin ; Heidelberg : Springer Berlin Heidelberg,
2017
|
Sorozat: | Lecture Notes in Computer Science ; 10110 |
Tárgyszavak: | |
Online elérés: | https://doi.org/10.1007/978-3-662-54314-6 |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
Hasonló tételek
-
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Megjelenés: (2017) -
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Megjelenés: (2017) -
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Megjelenés: (2017) -
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Megjelenés: (2017) -
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Megjelenés: (2017)