Axiomatizing the equational theory of regular tree languages

Gespeichert in:

Autor*in:	Trajkovic, Slavisa [verfasserIn]

Format:	Artikel

Erschienen:	2010

Systematik:	SA 6320

Umfang:	25

Übergeordnetes Werk:	Enthalten in: The journal of logic and algebraic programming - New York, NY : North-Holland, 2001, 79(2010), 2 vom: Feb., Seite 189-214
Übergeordnetes Werk:	volume:79 ; year:2010 ; number:2 ; month:02 ; pages:189-214 ; extent:25

Katalog-ID:	OLC1832633314

Internformat


LEADER	01000caa a22002652 4500
001	OLC1832633314
003	DE-627
005	20220215061137.0
007	tu
008	100111s2010 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a sw100105_1
035			\|a (DE-627)OLC1832633314
035			\|a (DE-599)GBVOLC1832633314
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
082	0	4	\|a 004
084			\|a SA 6320 \|q AVZ \|2 rvk
100	1		\|a Trajkovic, Slavisa \|e verfasserin \|4 aut
245	1	0	\|a Axiomatizing the equational theory of regular tree languages
264		1	\|c 2010
300			\|a 25
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
773	0	8	\|i Enthalten in \|t The journal of logic and algebraic programming \|d New York, NY : North-Holland, 2001 \|g 79(2010), 2 vom: Feb., Seite 189-214 \|w (DE-627)327543701 \|w (DE-600)2044120-4 \|w (DE-576)094147043 \|x 1567-8326 \|7 nnns
773	1	8	\|g volume:79 \|g year:2010 \|g number:2 \|g month:02 \|g pages:189-214 \|g extent:25
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a SSG-OLC-MAT
912			\|a SSG-OPC-MAT
912			\|a GBV_ILN_21
912			\|a GBV_ILN_22
912			\|a GBV_ILN_30
912			\|a GBV_ILN_31
912			\|a GBV_ILN_70
912			\|a GBV_ILN_4046
912			\|a GBV_ILN_4700
936	r	v	\|a SA 6320
951			\|a AR
952			\|d 79 \|j 2010 \|e 2 \|c 2 \|h 189-214 \|g 25

Indexfelder

author_variant	s t st
matchkey_str	article:15678326:2010----::xoaiigheutoaterorgl
hierarchy_sort_str	2010
publishDate	2010
allfields	sw100105_1 (DE-627)OLC1832633314 (DE-599)GBVOLC1832633314 DE-627 ger DE-627 rakwb 004 SA 6320 AVZ rvk Trajkovic, Slavisa verfasserin aut Axiomatizing the equational theory of regular tree languages 2010 25 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in The journal of logic and algebraic programming New York, NY : North-Holland, 2001 79(2010), 2 vom: Feb., Seite 189-214 (DE-627)327543701 (DE-600)2044120-4 (DE-576)094147043 1567-8326 nnns volume:79 year:2010 number:2 month:02 pages:189-214 extent:25 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_30 GBV_ILN_31 GBV_ILN_70 GBV_ILN_4046 GBV_ILN_4700 SA 6320 AR 79 2010 2 2 189-214 25
spelling	sw100105_1 (DE-627)OLC1832633314 (DE-599)GBVOLC1832633314 DE-627 ger DE-627 rakwb 004 SA 6320 AVZ rvk Trajkovic, Slavisa verfasserin aut Axiomatizing the equational theory of regular tree languages 2010 25 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in The journal of logic and algebraic programming New York, NY : North-Holland, 2001 79(2010), 2 vom: Feb., Seite 189-214 (DE-627)327543701 (DE-600)2044120-4 (DE-576)094147043 1567-8326 nnns volume:79 year:2010 number:2 month:02 pages:189-214 extent:25 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_30 GBV_ILN_31 GBV_ILN_70 GBV_ILN_4046 GBV_ILN_4700 SA 6320 AR 79 2010 2 2 189-214 25
allfields_unstemmed	sw100105_1 (DE-627)OLC1832633314 (DE-599)GBVOLC1832633314 DE-627 ger DE-627 rakwb 004 SA 6320 AVZ rvk Trajkovic, Slavisa verfasserin aut Axiomatizing the equational theory of regular tree languages 2010 25 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in The journal of logic and algebraic programming New York, NY : North-Holland, 2001 79(2010), 2 vom: Feb., Seite 189-214 (DE-627)327543701 (DE-600)2044120-4 (DE-576)094147043 1567-8326 nnns volume:79 year:2010 number:2 month:02 pages:189-214 extent:25 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_30 GBV_ILN_31 GBV_ILN_70 GBV_ILN_4046 GBV_ILN_4700 SA 6320 AR 79 2010 2 2 189-214 25
allfieldsGer	sw100105_1 (DE-627)OLC1832633314 (DE-599)GBVOLC1832633314 DE-627 ger DE-627 rakwb 004 SA 6320 AVZ rvk Trajkovic, Slavisa verfasserin aut Axiomatizing the equational theory of regular tree languages 2010 25 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in The journal of logic and algebraic programming New York, NY : North-Holland, 2001 79(2010), 2 vom: Feb., Seite 189-214 (DE-627)327543701 (DE-600)2044120-4 (DE-576)094147043 1567-8326 nnns volume:79 year:2010 number:2 month:02 pages:189-214 extent:25 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_30 GBV_ILN_31 GBV_ILN_70 GBV_ILN_4046 GBV_ILN_4700 SA 6320 AR 79 2010 2 2 189-214 25
allfieldsSound	sw100105_1 (DE-627)OLC1832633314 (DE-599)GBVOLC1832633314 DE-627 ger DE-627 rakwb 004 SA 6320 AVZ rvk Trajkovic, Slavisa verfasserin aut Axiomatizing the equational theory of regular tree languages 2010 25 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Enthalten in The journal of logic and algebraic programming New York, NY : North-Holland, 2001 79(2010), 2 vom: Feb., Seite 189-214 (DE-627)327543701 (DE-600)2044120-4 (DE-576)094147043 1567-8326 nnns volume:79 year:2010 number:2 month:02 pages:189-214 extent:25 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_30 GBV_ILN_31 GBV_ILN_70 GBV_ILN_4046 GBV_ILN_4700 SA 6320 AR 79 2010 2 2 189-214 25
source	Enthalten in The journal of logic and algebraic programming 79(2010), 2 vom: Feb., Seite 189-214 volume:79 year:2010 number:2 month:02 pages:189-214 extent:25
sourceStr	Enthalten in The journal of logic and algebraic programming 79(2010), 2 vom: Feb., Seite 189-214 volume:79 year:2010 number:2 month:02 pages:189-214 extent:25
format_phy_str_mv	Article
institution	findex.gbv.de
dewey-raw	004
isfreeaccess_bool	false
container_title	The journal of logic and algebraic programming
authorswithroles_txt_mv	Trajkovic, Slavisa @@aut@@
publishDateDaySort_date	2010-02-01T00:00:00Z
hierarchy_top_id	327543701
dewey-sort	14
id	OLC1832633314
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1832633314</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220215061137.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">100111s2010 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw100105_1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1832633314</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1832633314</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 6320</subfield><subfield code="q">AVZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Trajkovic, Slavisa</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Axiomatizing the equational theory of regular tree languages</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The journal of logic and algebraic programming</subfield><subfield code="d">New York, NY : North-Holland, 2001</subfield><subfield code="g">79(2010), 2 vom: Feb., Seite 189-214</subfield><subfield code="w">(DE-627)327543701</subfield><subfield code="w">(DE-600)2044120-4</subfield><subfield code="w">(DE-576)094147043</subfield><subfield code="x">1567-8326</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:79</subfield><subfield code="g">year:2010</subfield><subfield code="g">number:2</subfield><subfield code="g">month:02</subfield><subfield code="g">pages:189-214</subfield><subfield code="g">extent:25</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_30</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 6320</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">79</subfield><subfield code="j">2010</subfield><subfield code="e">2</subfield><subfield code="c">2</subfield><subfield code="h">189-214</subfield><subfield code="g">25</subfield></datafield></record></collection>
author	Trajkovic, Slavisa
spellingShingle	Trajkovic, Slavisa ddc 004 rvk SA 6320 Axiomatizing the equational theory of regular tree languages
authorStr	Trajkovic, Slavisa
ppnlink_with_tag_str_mv	@@773@@(DE-627)327543701
format	Article
dewey-ones	004 - Data processing & computer science
delete_txt_mv	keep
author_role	aut
collection	OLC
remote_str	false
illustrated	Not Illustrated
issn	1567-8326
topic_title	004 SA 6320 AVZ rvk Axiomatizing the equational theory of regular tree languages
topic	ddc 004 rvk SA 6320
topic_unstemmed	ddc 004 rvk SA 6320
topic_browse	ddc 004 rvk SA 6320
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
hierarchy_parent_title	The journal of logic and algebraic programming
hierarchy_parent_id	327543701
dewey-tens	000 - Computer science, knowledge & systems
hierarchy_top_title	The journal of logic and algebraic programming
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)327543701 (DE-600)2044120-4 (DE-576)094147043
title	Axiomatizing the equational theory of regular tree languages
ctrlnum	(DE-627)OLC1832633314 (DE-599)GBVOLC1832633314
title_full	Axiomatizing the equational theory of regular tree languages
author_sort	Trajkovic, Slavisa
journal	The journal of logic and algebraic programming
journalStr	The journal of logic and algebraic programming
isOA_bool	false
dewey-hundreds	000 - Computer science, information & general works
recordtype	marc
publishDateSort	2010
contenttype_str_mv	txt
container_start_page	189
author_browse	Trajkovic, Slavisa
container_volume	79
physical	25
class	004 SA 6320 AVZ rvk
format_se	Aufsätze
author-letter	Trajkovic, Slavisa
dewey-full	004
title_sort	axiomatizing the equational theory of regular tree languages
title_auth	Axiomatizing the equational theory of regular tree languages
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_30 GBV_ILN_31 GBV_ILN_70 GBV_ILN_4046 GBV_ILN_4700
container_issue	2
title_short	Axiomatizing the equational theory of regular tree languages
remote_bool	false
ppnlink	327543701
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
up_date	2024-07-03T15:01:13.624Z
_version_	1803570510426013696
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1832633314</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220215061137.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">100111s2010 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw100105_1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1832633314</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1832633314</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 6320</subfield><subfield code="q">AVZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Trajkovic, Slavisa</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Axiomatizing the equational theory of regular tree languages</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The journal of logic and algebraic programming</subfield><subfield code="d">New York, NY : North-Holland, 2001</subfield><subfield code="g">79(2010), 2 vom: Feb., Seite 189-214</subfield><subfield code="w">(DE-627)327543701</subfield><subfield code="w">(DE-600)2044120-4</subfield><subfield code="w">(DE-576)094147043</subfield><subfield code="x">1567-8326</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:79</subfield><subfield code="g">year:2010</subfield><subfield code="g">number:2</subfield><subfield code="g">month:02</subfield><subfield code="g">pages:189-214</subfield><subfield code="g">extent:25</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_30</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 6320</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">79</subfield><subfield code="j">2010</subfield><subfield code="e">2</subfield><subfield code="c">2</subfield><subfield code="h">189-214</subfield><subfield code="g">25</subfield></datafield></record></collection>
score	7.399908

Nicht das Richtige dabei?

Schreiben Sie uns!

Axiomatizing the equational theory of regular tree languages

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?