Verfügbarkeit: Descriptional complexity of formal systems

Descriptional complexity of formal systems: 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	DCFS Košice (VerfasserIn)
Weitere Verfasser:	Hospodár, Michal 1991- (HerausgeberIn), Jirásková, Galina (HerausgeberIn), Konstantinidis, Stavros (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2019] Cham
Schriftenreihe:	Lecture notes in computer science 11612 : Theoretical computer science and general issues
Schlagworte:	Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence Database Management Special Purpose and Application-Based Systems Logic design Computer science Artificial intelligence Database management Software engineering Beschreibungskomplexität Konferenzschrift
Online-Zugang:	DE-634 DE-Aug4 DE-573 DE-M347 DE-92 DE-898 DE-859 DE-860 DE-861 DE-863 DE-862 DE-523 DE-91 DE-473 DE-19 DE-355 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext
Beschreibung:	1 Online-Ressource (x, 298 Seiten) Illustrationen
ISBN:	9783030232474
DOI:	10.1007/978-3-030-23247-4

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV046083682
003	DE-604
005	20210726
007	cr\|uuu---uuuuu
008	190802s2019 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783030232474 \|c Online \|9 978-3-030-23247-4
024	7		\|a 10.1007/978-3-030-23247-4 \|2 doi
035			\|a (ZDB-2-SCS)9783030232474
035			\|a (ZDB-2-LNC)9783030232474
035			\|a (OCoLC)1111819540
035			\|a (DE-599)BVBBV046083682
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-860 \|a DE-91 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634
082	0		\|a 005.1015113 \|2 23
084			\|a DAT 550 \|2 stub
084			\|a DAT 000 \|2 stub
111	2		\|a DCFS \|n 21. \|d 2019 \|c Košice \|j Verfasser \|0 (DE-588)1191796345 \|4 aut
245	1	0	\|a Descriptional complexity of formal systems \|b 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings \|c Michal Hospodár, Galina Jirásková, Stavros Konstantinidis (eds.)
264		1	\|a Cham \|b Springer \|c [2019]
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (x, 298 Seiten) \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 11612 \|a Theoretical computer science and general issues
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Artificial Intelligence
650		4	\|a Database Management
650		4	\|a Special Purpose and Application-Based Systems
650		4	\|a Logic design
650		4	\|a Computer science
650		4	\|a Artificial intelligence
650		4	\|a Database management
650		4	\|a Software engineering
650	0	7	\|a Beschreibungskomplexität \|0 (DE-588)4797485-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Beschreibungskomplexität \|0 (DE-588)4797485-0 \|D s
689	0		\|5 DE-604
700	1		\|a Hospodár, Michal \|d 1991- \|0 (DE-588)1144907551 \|4 edt
700	1		\|a Jirásková, Galina \|4 edt
700	1		\|a Konstantinidis, Stavros \|0 (DE-588)103874797X \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-23246-7
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-23248-1
830		0	\|a Lecture notes in computer science \|v 11612 : Theoretical computer science and general issues \|w (DE-604)BV014880109 \|9 11612
856	4	0	\|u https://doi.org/10.1007/978-3-030-23247-4 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2019
940	1		\|q ZDB-2-LNC_2019
943	1		\|a oai:aleph.bib-bvb.de:BVB01-031464739
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-573 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-898 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-860 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-863 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-862 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-523 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-91 \|p ZDB-2-LNC \|q ZDB-2-LNC_2019 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-23247-4 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-FWS_katkey	732235
_version_	1820919917081264128
adam_text
any_adam_object
author2	Hospodár, Michal 1991- Jirásková, Galina Konstantinidis, Stavros
author2_role	edt edt edt
author2_variant	m h mh g j gj s k sk
author_GND	(DE-588)1144907551 (DE-588)103874797X
author_corporate	DCFS Košice
author_corporate_role	aut
author_facet	Hospodár, Michal 1991- Jirásková, Galina Konstantinidis, Stavros DCFS Košice
author_sort	DCFS Košice
building	Verbundindex
bvnumber	BV046083682
classification_rvk	SS 4800
classification_tum	DAT 550 DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783030232474 (ZDB-2-LNC)9783030232474 (OCoLC)1111819540 (DE-599)BVBBV046083682
dewey-full	005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1015113
dewey-search	005.1015113
dewey-sort	15.1015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-030-23247-4
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV046083682</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210726</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">190802s2019 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030232474</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-23247-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-23247-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030232474</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030232474</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1111819540</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046083682</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">DCFS</subfield><subfield code="n">21.</subfield><subfield code="d">2019</subfield><subfield code="c">Košice</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1191796345</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Descriptional complexity of formal systems</subfield><subfield code="b">21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings</subfield><subfield code="c">Michal Hospodár, Galina Jirásková, Stavros Konstantinidis (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 298 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11612</subfield><subfield code="a">Theoretical computer science and general issues</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hospodár, Michal</subfield><subfield code="d">1991-</subfield><subfield code="0">(DE-588)1144907551</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jirásková, Galina</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Konstantinidis, Stavros</subfield><subfield code="0">(DE-588)103874797X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-23246-7</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-23248-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11612 : Theoretical computer science and general issues</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">11612</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2019</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2019</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031464739</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2019</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-23247-4</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV046083682
illustrated	Illustrated
indexdate	2025-01-11T04:02:36Z
institution	BVB
institution_GND	(DE-588)1191796345
isbn	9783030232474
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-031464739
oclc_num	1111819540
open_access_boolean
owner	DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
owner_facet	DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
physical	1 Online-Ressource (x, 298 Seiten) Illustrationen
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2019 ZDB-2-LNC_2019 ZDB-2-LNC ZDB-2-LNC_2019
publishDate	2019
publishDateSearch	2019
publishDateSort	2019
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science Theoretical computer science and general issues
spellingShingle	Descriptional complexity of formal systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings Lecture notes in computer science Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence Database Management Special Purpose and Application-Based Systems Logic design Computer science Artificial intelligence Database management Software engineering Beschreibungskomplexität (DE-588)4797485-0 gnd
subject_GND	(DE-588)4797485-0 (DE-588)1071861417
title	Descriptional complexity of formal systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings
title_auth	Descriptional complexity of formal systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings
title_exact_search	Descriptional complexity of formal systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings
title_full	Descriptional complexity of formal systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings Michal Hospodár, Galina Jirásková, Stavros Konstantinidis (eds.)
title_fullStr	Descriptional complexity of formal systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings Michal Hospodár, Galina Jirásková, Stavros Konstantinidis (eds.)
title_full_unstemmed	Descriptional complexity of formal systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings Michal Hospodár, Galina Jirásková, Stavros Konstantinidis (eds.)
title_short	Descriptional complexity of formal systems
title_sort	descriptional complexity of formal systems 21st ifip wg 1 02 international conference dcfs 2019 kosice slovakia july 17 19 2019 proceedings
title_sub	21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019 : proceedings
topic	Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence Database Management Special Purpose and Application-Based Systems Logic design Computer science Artificial intelligence Database management Software engineering Beschreibungskomplexität (DE-588)4797485-0 gnd
topic_facet	Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence Database Management Special Purpose and Application-Based Systems Logic design Computer science Artificial intelligence Database management Software engineering Beschreibungskomplexität Konferenzschrift
url	https://doi.org/10.1007/978-3-030-23247-4
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT dcfskosice descriptionalcomplexityofformalsystems21stifipwg102internationalconferencedcfs2019kosiceslovakiajuly17192019proceedings AT hospodarmichal descriptionalcomplexityofformalsystems21stifipwg102internationalconferencedcfs2019kosiceslovakiajuly17192019proceedings AT jiraskovagalina descriptionalcomplexityofformalsystems21stifipwg102internationalconferencedcfs2019kosiceslovakiajuly17192019proceedings AT konstantinidisstavros descriptionalcomplexityofformalsystems21stifipwg102internationalconferencedcfs2019kosiceslovakiajuly17192019proceedings

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge