An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

Gespeichert in:

Autor*in:	Thiagarajan, P.S. [verfasserIn] Walukiewicz, I.

Format:	Artikel

Erschienen:	2002

Umfang:	20

Übergeordnetes Werk:	Enthalten in: Information and computation - Amsterdam : Elsevier, 1987, 179(2002), 2, Seite 230-249
Übergeordnetes Werk:	volume:179 ; year:2002 ; number:2 ; pages:230-249 ; extent:20

Katalog-ID:	OLC1633958973

Internformat


LEADER	01000caa a22002652 4500
001	OLC1633958973
003	DE-627
005	20220219071520.0
007	tu
008	021126s2002 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a SW021126
035			\|a (DE-627)OLC1633958973
035			\|a (DE-599)GBVOLC1633958973
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
082	0	4	\|a 330 \|a 004
084			\|a LING \|2 fid
084			\|a 54.00 \|2 bkl
084			\|a 31.80 \|2 bkl
100	1		\|a Thiagarajan, P.S. \|e verfasserin \|4 aut
245	1	3	\|a An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
264		1	\|c 2002
300			\|a 20
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
700	1		\|a Walukiewicz, I. \|4 oth
773	0	8	\|i Enthalten in \|t Information and computation \|d Amsterdam : Elsevier, 1987 \|g 179(2002), 2, Seite 230-249 \|w (DE-627)129862754 \|w (DE-600)283864-3 \|w (DE-576)015174972 \|x 0890-5401 \|7 nnns
773	1	8	\|g volume:179 \|g year:2002 \|g number:2 \|g pages:230-249 \|g extent:20
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a FID-LING
912			\|a SSG-OLC-MAT
912			\|a SSG-OPC-BBI
912			\|a SSG-OPC-MAT
912			\|a GBV_ILN_11
912			\|a GBV_ILN_21
912			\|a GBV_ILN_22
912			\|a GBV_ILN_24
912			\|a GBV_ILN_30
912			\|a GBV_ILN_31
912			\|a GBV_ILN_40
912			\|a GBV_ILN_62
912			\|a GBV_ILN_65
912			\|a GBV_ILN_70
912			\|a GBV_ILN_105
912			\|a GBV_ILN_130
912			\|a GBV_ILN_2004
912			\|a GBV_ILN_2006
912			\|a GBV_ILN_2009
912			\|a GBV_ILN_2015
912			\|a GBV_ILN_2021
912			\|a GBV_ILN_2190
912			\|a GBV_ILN_2244
912			\|a GBV_ILN_4029
912			\|a GBV_ILN_4046
912			\|a GBV_ILN_4082
912			\|a GBV_ILN_4112
912			\|a GBV_ILN_4125
912			\|a GBV_ILN_4126
912			\|a GBV_ILN_4305
912			\|a GBV_ILN_4306
912			\|a GBV_ILN_4307
912			\|a GBV_ILN_4311
912			\|a GBV_ILN_4313
912			\|a GBV_ILN_4316
912			\|a GBV_ILN_4317
912			\|a GBV_ILN_4324
912			\|a GBV_ILN_4700
936	b	k	\|a 54.00 \|q AVZ
936	b	k	\|a 31.80 \|q AVZ
951			\|a AR
952			\|d 179 \|j 2002 \|e 2 \|h 230-249 \|g 20

Indexfelder

author_variant	p t pt
matchkey_str	article:08905401:2002----::nxrsieyopeeierieeprloifr
hierarchy_sort_str	2002
bklnumber	54.00 31.80
publishDate	2002
allfields	SW021126 (DE-627)OLC1633958973 (DE-599)GBVOLC1633958973 DE-627 ger DE-627 rakwb 330 004 LING fid 54.00 bkl 31.80 bkl Thiagarajan, P.S. verfasserin aut An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 2002 20 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Walukiewicz, I. oth Enthalten in Information and computation Amsterdam : Elsevier, 1987 179(2002), 2, Seite 230-249 (DE-627)129862754 (DE-600)283864-3 (DE-576)015174972 0890-5401 nnns volume:179 year:2002 number:2 pages:230-249 extent:20 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-MAT SSG-OPC-BBI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_31 GBV_ILN_40 GBV_ILN_62 GBV_ILN_65 GBV_ILN_70 GBV_ILN_105 GBV_ILN_130 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2009 GBV_ILN_2015 GBV_ILN_2021 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4311 GBV_ILN_4313 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4324 GBV_ILN_4700 54.00 AVZ 31.80 AVZ AR 179 2002 2 230-249 20
spelling	SW021126 (DE-627)OLC1633958973 (DE-599)GBVOLC1633958973 DE-627 ger DE-627 rakwb 330 004 LING fid 54.00 bkl 31.80 bkl Thiagarajan, P.S. verfasserin aut An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 2002 20 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Walukiewicz, I. oth Enthalten in Information and computation Amsterdam : Elsevier, 1987 179(2002), 2, Seite 230-249 (DE-627)129862754 (DE-600)283864-3 (DE-576)015174972 0890-5401 nnns volume:179 year:2002 number:2 pages:230-249 extent:20 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-MAT SSG-OPC-BBI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_31 GBV_ILN_40 GBV_ILN_62 GBV_ILN_65 GBV_ILN_70 GBV_ILN_105 GBV_ILN_130 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2009 GBV_ILN_2015 GBV_ILN_2021 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4311 GBV_ILN_4313 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4324 GBV_ILN_4700 54.00 AVZ 31.80 AVZ AR 179 2002 2 230-249 20
allfields_unstemmed	SW021126 (DE-627)OLC1633958973 (DE-599)GBVOLC1633958973 DE-627 ger DE-627 rakwb 330 004 LING fid 54.00 bkl 31.80 bkl Thiagarajan, P.S. verfasserin aut An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 2002 20 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Walukiewicz, I. oth Enthalten in Information and computation Amsterdam : Elsevier, 1987 179(2002), 2, Seite 230-249 (DE-627)129862754 (DE-600)283864-3 (DE-576)015174972 0890-5401 nnns volume:179 year:2002 number:2 pages:230-249 extent:20 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-MAT SSG-OPC-BBI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_31 GBV_ILN_40 GBV_ILN_62 GBV_ILN_65 GBV_ILN_70 GBV_ILN_105 GBV_ILN_130 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2009 GBV_ILN_2015 GBV_ILN_2021 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4311 GBV_ILN_4313 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4324 GBV_ILN_4700 54.00 AVZ 31.80 AVZ AR 179 2002 2 230-249 20
allfieldsGer	SW021126 (DE-627)OLC1633958973 (DE-599)GBVOLC1633958973 DE-627 ger DE-627 rakwb 330 004 LING fid 54.00 bkl 31.80 bkl Thiagarajan, P.S. verfasserin aut An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 2002 20 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Walukiewicz, I. oth Enthalten in Information and computation Amsterdam : Elsevier, 1987 179(2002), 2, Seite 230-249 (DE-627)129862754 (DE-600)283864-3 (DE-576)015174972 0890-5401 nnns volume:179 year:2002 number:2 pages:230-249 extent:20 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-MAT SSG-OPC-BBI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_31 GBV_ILN_40 GBV_ILN_62 GBV_ILN_65 GBV_ILN_70 GBV_ILN_105 GBV_ILN_130 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2009 GBV_ILN_2015 GBV_ILN_2021 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4311 GBV_ILN_4313 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4324 GBV_ILN_4700 54.00 AVZ 31.80 AVZ AR 179 2002 2 230-249 20
allfieldsSound	SW021126 (DE-627)OLC1633958973 (DE-599)GBVOLC1633958973 DE-627 ger DE-627 rakwb 330 004 LING fid 54.00 bkl 31.80 bkl Thiagarajan, P.S. verfasserin aut An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 2002 20 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Walukiewicz, I. oth Enthalten in Information and computation Amsterdam : Elsevier, 1987 179(2002), 2, Seite 230-249 (DE-627)129862754 (DE-600)283864-3 (DE-576)015174972 0890-5401 nnns volume:179 year:2002 number:2 pages:230-249 extent:20 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-MAT SSG-OPC-BBI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_31 GBV_ILN_40 GBV_ILN_62 GBV_ILN_65 GBV_ILN_70 GBV_ILN_105 GBV_ILN_130 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2009 GBV_ILN_2015 GBV_ILN_2021 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4311 GBV_ILN_4313 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4324 GBV_ILN_4700 54.00 AVZ 31.80 AVZ AR 179 2002 2 230-249 20
source	Enthalten in Information and computation 179(2002), 2, Seite 230-249 volume:179 year:2002 number:2 pages:230-249 extent:20
sourceStr	Enthalten in Information and computation 179(2002), 2, Seite 230-249 volume:179 year:2002 number:2 pages:230-249 extent:20
format_phy_str_mv	Article
institution	findex.gbv.de
dewey-raw	330
isfreeaccess_bool	false
container_title	Information and computation
authorswithroles_txt_mv	Thiagarajan, P.S. @@aut@@ Walukiewicz, I. @@oth@@
publishDateDaySort_date	2002-01-01T00:00:00Z
hierarchy_top_id	129862754
dewey-sort	3330
id	OLC1633958973
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">OLC1633958973</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220219071520.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">021126s2002 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW021126</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1633958973</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1633958973</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">330</subfield><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.00</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.80</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Thiagarajan, P.S.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="3"><subfield code="a">An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">20</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="700" ind1="1" ind2=" "><subfield code="a">Walukiewicz, I.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Information and computation</subfield><subfield code="d">Amsterdam : Elsevier, 1987</subfield><subfield code="g">179(2002), 2, Seite 230-249</subfield><subfield code="w">(DE-627)129862754</subfield><subfield code="w">(DE-600)283864-3</subfield><subfield code="w">(DE-576)015174972</subfield><subfield code="x">0890-5401</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:179</subfield><subfield code="g">year:2002</subfield><subfield code="g">number:2</subfield><subfield code="g">pages:230-249</subfield><subfield code="g">extent:20</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">FID-LING</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-BBI</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_11</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_24</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_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_62</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</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_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2004</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2009</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2021</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4029</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_4082</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4311</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4316</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4317</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.00</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">31.80</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">179</subfield><subfield code="j">2002</subfield><subfield code="e">2</subfield><subfield code="h">230-249</subfield><subfield code="g">20</subfield></datafield></record></collection>
author	Thiagarajan, P.S.
spellingShingle	Thiagarajan, P.S. ddc 330 fid LING bkl 54.00 bkl 31.80 An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
authorStr	Thiagarajan, P.S.
ppnlink_with_tag_str_mv	@@773@@(DE-627)129862754
format	Article
dewey-ones	330 - Economics 004 - Data processing & computer science
delete_txt_mv	keep
author_role	aut
collection	OLC
remote_str	false
illustrated	Not Illustrated
issn	0890-5401
topic_title	330 004 LING fid 54.00 bkl 31.80 bkl An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
topic	ddc 330 fid LING bkl 54.00 bkl 31.80
topic_unstemmed	ddc 330 fid LING bkl 54.00 bkl 31.80
topic_browse	ddc 330 fid LING bkl 54.00 bkl 31.80
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
author2_variant	i w iw
hierarchy_parent_title	Information and computation
hierarchy_parent_id	129862754
dewey-tens	330 - Economics 000 - Computer science, knowledge & systems
hierarchy_top_title	Information and computation
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)129862754 (DE-600)283864-3 (DE-576)015174972
title	An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
ctrlnum	(DE-627)OLC1633958973 (DE-599)GBVOLC1633958973
title_full	An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
author_sort	Thiagarajan, P.S.
journal	Information and computation
journalStr	Information and computation
isOA_bool	false
dewey-hundreds	300 - Social sciences 000 - Computer science, information & general works
recordtype	marc
publishDateSort	2002
contenttype_str_mv	txt
container_start_page	230
author_browse	Thiagarajan, P.S.
container_volume	179
physical	20
class	330 004 LING fid 54.00 bkl 31.80 bkl
format_se	Aufsätze
author-letter	Thiagarajan, P.S.
dewey-full	330 004
title_sort	expressively complete linear time temporal logic for mazurkiewicz traces
title_auth	An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-MAT SSG-OPC-BBI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_31 GBV_ILN_40 GBV_ILN_62 GBV_ILN_65 GBV_ILN_70 GBV_ILN_105 GBV_ILN_130 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2009 GBV_ILN_2015 GBV_ILN_2021 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4311 GBV_ILN_4313 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4324 GBV_ILN_4700
container_issue	2
title_short	An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
remote_bool	false
author2	Walukiewicz, I.
author2Str	Walukiewicz, I.
ppnlink	129862754
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth
up_date	2024-07-03T19:21:44.976Z
_version_	1803586901090762752
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">OLC1633958973</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220219071520.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">021126s2002 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW021126</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1633958973</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1633958973</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">330</subfield><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.00</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.80</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Thiagarajan, P.S.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="3"><subfield code="a">An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">20</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="700" ind1="1" ind2=" "><subfield code="a">Walukiewicz, I.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Information and computation</subfield><subfield code="d">Amsterdam : Elsevier, 1987</subfield><subfield code="g">179(2002), 2, Seite 230-249</subfield><subfield code="w">(DE-627)129862754</subfield><subfield code="w">(DE-600)283864-3</subfield><subfield code="w">(DE-576)015174972</subfield><subfield code="x">0890-5401</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:179</subfield><subfield code="g">year:2002</subfield><subfield code="g">number:2</subfield><subfield code="g">pages:230-249</subfield><subfield code="g">extent:20</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">FID-LING</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-BBI</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_11</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_24</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_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_62</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</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_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2004</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2009</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2021</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4029</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_4082</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4311</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4316</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4317</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.00</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">31.80</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">179</subfield><subfield code="j">2002</subfield><subfield code="e">2</subfield><subfield code="h">230-249</subfield><subfield code="g">20</subfield></datafield></record></collection>
score	7.4028435

Nicht das Richtige dabei?

Schreiben Sie uns!

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?