| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | b6bc2efd-8d6b-4b9f-b6bd-9ac1f195b46f |
| isbn | 9783030934897 |
| issn | |
| language | eng |
| physical | X, 201 p. 31 illus., 6 illus. in color.online resource. |
| publication | – publisher: Springer International Publishing dateOfPublication: 2021 |
| publishDate | 2021 |
| subjects | |
| title | Descriptional Complexity of Formal Systems 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings / edited by Yo-Sub Han, Sang-Ki Ko. [electronic resource] : |
| topic | Computer science. Computer Science Logic and Foundations of Programming. |