Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25--27, 2018. Proceedings (Q726081)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25--27, 2018. Proceedings |
scientific article; zbMATH DE number 6912816
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25--27, 2018. Proceedings |
scientific article; zbMATH DE number 6912816 |
Statements
Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25--27, 2018. Proceedings (English)
0 references
2 August 2018
0 references
0.95094776
0 references
0.94886595
0 references
0.9477391
0 references
0.9471148
0 references
0 references
0.9441793
0 references
0.9380607
0 references
0.9375123
0 references
0.9371275
0 references