000 00961 a2200265 4500
001 386269
003 OSt
005 20240506121227.0
008 221219b |||||||| |||| 00| 0 eng d
020 _a978-3-319-41114-9
040 _cIITB
041 _aeng
245 _aDescriptional complexity of formal systems : 18th IFIP WG 1.2 international conference, DCFS, Bucharest, Romania, July 5-8, 2016. proceedings (e-book)
260 _aBerlin
_bSpringer
_c2016
440 _922935
_aLecture Notes in Computer Science (LNCS)
_vv.9777
650 0 _aComputer science and engineering
_97673
650 0 _aFormal languages
_vCongresses
_96836
650 0 _aMachine theory
_923233
650 0 _aFormal methods (Computer science)
_vCongresses
_96794
700 _aCampeanu, Cezar
_932219
_4Editor
700 _aManea, Florin
_4Editor
_932221
700 _aShallit, Jeffrey
_932219
_4Editor
856 _uhttps://doi.org/10.1007/978-3-319-41114-9
942 _cEB
_2udc
999 _c281225
_d281225