Dynamic linear time temporal logic

Gespeichert in:

Autor*in:	Henriksen, Jesper G. [verfasserIn] Thiagarajan, P.S.

Format:	Artikel

Erschienen:	1999

Systematik:	SA 2640

Umfang:	22

Übergeordnetes Werk:	Enthalten in: Annals of pure and applied logic - Amsterdam [u.a.] : Elsevier, 1983, 96(1999), 1, Seite 187-208
Übergeordnetes Werk:	volume:96 ; year:1999 ; number:1 ; pages:187-208 ; extent:22

Katalog-ID:	OLC159968232X

Internformat


LEADER	01000caa a22002652 4500
001	OLC159968232X
003	DE-627
005	20220217014718.0
007	tu
008	010306s1999 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a SWNFD99A
035			\|a (DE-627)OLC159968232X
035			\|a (DE-599)GBVOLC159968232X
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
082	0	4	\|a 500 \|a 510 \|a 100
084			\|a SA 2640 \|q AVZ \|2 rvk
084			\|a 31.10 \|2 bkl
100	1		\|a Henriksen, Jesper G. \|e verfasserin \|4 aut
245	1	0	\|a Dynamic linear time temporal logic
264		1	\|c 1999
300			\|a 22
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 Thiagarajan, P.S. \|4 oth
773	0	8	\|i Enthalten in \|t Annals of pure and applied logic \|d Amsterdam [u.a.] : Elsevier, 1983 \|g 96(1999), 1, Seite 187-208 \|w (DE-627)129575968 \|w (DE-600)230447-8 \|w (DE-576)015071162 \|x 0003-4843 \|7 nnns
773	1	8	\|g volume:96 \|g year:1999 \|g number:1 \|g pages:187-208 \|g extent:22
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a SSG-OLC-MAT
912			\|a SSG-OLC-PHI
912			\|a SSG-OPC-MAT
912			\|a GBV_ILN_11
912			\|a GBV_ILN_22
912			\|a GBV_ILN_24
912			\|a GBV_ILN_40
912			\|a GBV_ILN_70
912			\|a GBV_ILN_2002
912			\|a GBV_ILN_2004
912			\|a GBV_ILN_2006
912			\|a GBV_ILN_2007
912			\|a GBV_ILN_2012
912			\|a GBV_ILN_2015
912			\|a GBV_ILN_2020
912			\|a GBV_ILN_2088
912			\|a GBV_ILN_2190
912			\|a GBV_ILN_2244
912			\|a GBV_ILN_4012
912			\|a GBV_ILN_4305
912			\|a GBV_ILN_4307
912			\|a GBV_ILN_4310
912			\|a GBV_ILN_4313
912			\|a GBV_ILN_4700
936	r	v	\|a SA 2640
936	b	k	\|a 31.10 \|q AVZ
951			\|a AR
952			\|d 96 \|j 1999 \|e 1 \|h 187-208 \|g 22

Indexfelder

author_variant	j g h jg jgh
matchkey_str	article:00034843:1999----::yailnatmtm
hierarchy_sort_str	1999
bklnumber	31.10
publishDate	1999
allfields	SWNFD99A (DE-627)OLC159968232X (DE-599)GBVOLC159968232X DE-627 ger DE-627 rakwb 500 510 100 SA 2640 AVZ rvk 31.10 bkl Henriksen, Jesper G. verfasserin aut Dynamic linear time temporal logic 1999 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Thiagarajan, P.S. oth Enthalten in Annals of pure and applied logic Amsterdam [u.a.] : Elsevier, 1983 96(1999), 1, Seite 187-208 (DE-627)129575968 (DE-600)230447-8 (DE-576)015071162 0003-4843 nnns volume:96 year:1999 number:1 pages:187-208 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_70 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4305 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4313 GBV_ILN_4700 SA 2640 31.10 AVZ AR 96 1999 1 187-208 22
spelling	SWNFD99A (DE-627)OLC159968232X (DE-599)GBVOLC159968232X DE-627 ger DE-627 rakwb 500 510 100 SA 2640 AVZ rvk 31.10 bkl Henriksen, Jesper G. verfasserin aut Dynamic linear time temporal logic 1999 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Thiagarajan, P.S. oth Enthalten in Annals of pure and applied logic Amsterdam [u.a.] : Elsevier, 1983 96(1999), 1, Seite 187-208 (DE-627)129575968 (DE-600)230447-8 (DE-576)015071162 0003-4843 nnns volume:96 year:1999 number:1 pages:187-208 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_70 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4305 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4313 GBV_ILN_4700 SA 2640 31.10 AVZ AR 96 1999 1 187-208 22
allfields_unstemmed	SWNFD99A (DE-627)OLC159968232X (DE-599)GBVOLC159968232X DE-627 ger DE-627 rakwb 500 510 100 SA 2640 AVZ rvk 31.10 bkl Henriksen, Jesper G. verfasserin aut Dynamic linear time temporal logic 1999 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Thiagarajan, P.S. oth Enthalten in Annals of pure and applied logic Amsterdam [u.a.] : Elsevier, 1983 96(1999), 1, Seite 187-208 (DE-627)129575968 (DE-600)230447-8 (DE-576)015071162 0003-4843 nnns volume:96 year:1999 number:1 pages:187-208 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_70 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4305 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4313 GBV_ILN_4700 SA 2640 31.10 AVZ AR 96 1999 1 187-208 22
allfieldsGer	SWNFD99A (DE-627)OLC159968232X (DE-599)GBVOLC159968232X DE-627 ger DE-627 rakwb 500 510 100 SA 2640 AVZ rvk 31.10 bkl Henriksen, Jesper G. verfasserin aut Dynamic linear time temporal logic 1999 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Thiagarajan, P.S. oth Enthalten in Annals of pure and applied logic Amsterdam [u.a.] : Elsevier, 1983 96(1999), 1, Seite 187-208 (DE-627)129575968 (DE-600)230447-8 (DE-576)015071162 0003-4843 nnns volume:96 year:1999 number:1 pages:187-208 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_70 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4305 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4313 GBV_ILN_4700 SA 2640 31.10 AVZ AR 96 1999 1 187-208 22
allfieldsSound	SWNFD99A (DE-627)OLC159968232X (DE-599)GBVOLC159968232X DE-627 ger DE-627 rakwb 500 510 100 SA 2640 AVZ rvk 31.10 bkl Henriksen, Jesper G. verfasserin aut Dynamic linear time temporal logic 1999 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Thiagarajan, P.S. oth Enthalten in Annals of pure and applied logic Amsterdam [u.a.] : Elsevier, 1983 96(1999), 1, Seite 187-208 (DE-627)129575968 (DE-600)230447-8 (DE-576)015071162 0003-4843 nnns volume:96 year:1999 number:1 pages:187-208 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_70 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4305 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4313 GBV_ILN_4700 SA 2640 31.10 AVZ AR 96 1999 1 187-208 22
source	Enthalten in Annals of pure and applied logic 96(1999), 1, Seite 187-208 volume:96 year:1999 number:1 pages:187-208 extent:22
sourceStr	Enthalten in Annals of pure and applied logic 96(1999), 1, Seite 187-208 volume:96 year:1999 number:1 pages:187-208 extent:22
format_phy_str_mv	Article
institution	findex.gbv.de
dewey-raw	500
isfreeaccess_bool	false
container_title	Annals of pure and applied logic
authorswithroles_txt_mv	Henriksen, Jesper G. @@aut@@ Thiagarajan, P.S. @@oth@@
publishDateDaySort_date	1999-01-01T00:00:00Z
hierarchy_top_id	129575968
dewey-sort	3500
id	OLC159968232X
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">OLC159968232X</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220217014718.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">010306s1999 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SWNFD99A</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC159968232X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC159968232X</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">500</subfield><subfield code="a">510</subfield><subfield code="a">100</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 2640</subfield><subfield code="q">AVZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Henriksen, Jesper G.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic linear time temporal logic</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22</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">Thiagarajan, P.S.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Annals of pure and applied logic</subfield><subfield code="d">Amsterdam [u.a.] : Elsevier, 1983</subfield><subfield code="g">96(1999), 1, Seite 187-208</subfield><subfield code="w">(DE-627)129575968</subfield><subfield code="w">(DE-600)230447-8</subfield><subfield code="w">(DE-576)015071162</subfield><subfield code="x">0003-4843</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:96</subfield><subfield code="g">year:1999</subfield><subfield code="g">number:1</subfield><subfield code="g">pages:187-208</subfield><subfield code="g">extent:22</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-OLC-PHI</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_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_40</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_2002</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_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2012</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_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</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_4012</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_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4310</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_4700</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 2640</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">31.10</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">96</subfield><subfield code="j">1999</subfield><subfield code="e">1</subfield><subfield code="h">187-208</subfield><subfield code="g">22</subfield></datafield></record></collection>
author	Henriksen, Jesper G.
spellingShingle	Henriksen, Jesper G. ddc 500 rvk SA 2640 bkl 31.10 Dynamic linear time temporal logic
authorStr	Henriksen, Jesper G.
ppnlink_with_tag_str_mv	@@773@@(DE-627)129575968
format	Article
dewey-ones	500 - Natural sciences & mathematics 510 - Mathematics 100 - Philosophy & psychology
delete_txt_mv	keep
author_role	aut
collection	OLC
remote_str	false
illustrated	Not Illustrated
issn	0003-4843
topic_title	500 510 100 SA 2640 AVZ rvk 31.10 bkl Dynamic linear time temporal logic
topic	ddc 500 rvk SA 2640 bkl 31.10
topic_unstemmed	ddc 500 rvk SA 2640 bkl 31.10
topic_browse	ddc 500 rvk SA 2640 bkl 31.10
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
author2_variant	p t pt
hierarchy_parent_title	Annals of pure and applied logic
hierarchy_parent_id	129575968
dewey-tens	500 - Science 510 - Mathematics 100 - Philosophy
hierarchy_top_title	Annals of pure and applied logic
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)129575968 (DE-600)230447-8 (DE-576)015071162
title	Dynamic linear time temporal logic
ctrlnum	(DE-627)OLC159968232X (DE-599)GBVOLC159968232X
title_full	Dynamic linear time temporal logic
author_sort	Henriksen, Jesper G.
journal	Annals of pure and applied logic
journalStr	Annals of pure and applied logic
isOA_bool	false
dewey-hundreds	500 - Science 100 - Philosophy & psychology
recordtype	marc
publishDateSort	1999
contenttype_str_mv	txt
container_start_page	187
author_browse	Henriksen, Jesper G.
container_volume	96
physical	22
class	500 510 100 SA 2640 AVZ rvk 31.10 bkl
format_se	Aufsätze
author-letter	Henriksen, Jesper G.
dewey-full	500 510 100
title_sort	dynamic linear time temporal logic
title_auth	Dynamic linear time temporal logic
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_70 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4305 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4313 GBV_ILN_4700
container_issue	1
title_short	Dynamic linear time temporal logic
remote_bool	false
author2	Thiagarajan, P.S.
author2Str	Thiagarajan, P.S.
ppnlink	129575968
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth
up_date	2024-07-03T13:18:20.412Z
_version_	1803564037346164736
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">OLC159968232X</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220217014718.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">010306s1999 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SWNFD99A</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC159968232X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC159968232X</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">500</subfield><subfield code="a">510</subfield><subfield code="a">100</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 2640</subfield><subfield code="q">AVZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Henriksen, Jesper G.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic linear time temporal logic</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22</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">Thiagarajan, P.S.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Annals of pure and applied logic</subfield><subfield code="d">Amsterdam [u.a.] : Elsevier, 1983</subfield><subfield code="g">96(1999), 1, Seite 187-208</subfield><subfield code="w">(DE-627)129575968</subfield><subfield code="w">(DE-600)230447-8</subfield><subfield code="w">(DE-576)015071162</subfield><subfield code="x">0003-4843</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:96</subfield><subfield code="g">year:1999</subfield><subfield code="g">number:1</subfield><subfield code="g">pages:187-208</subfield><subfield code="g">extent:22</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-OLC-PHI</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_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_40</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_2002</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_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2012</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_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</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_4012</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_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4310</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_4700</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 2640</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">31.10</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">96</subfield><subfield code="j">1999</subfield><subfield code="e">1</subfield><subfield code="h">187-208</subfield><subfield code="g">22</subfield></datafield></record></collection>
score	7.4027214

Nicht das Richtige dabei?

Schreiben Sie uns!

Dynamic linear time temporal logic

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?