Holdings: Deterministic pomsets

Deterministic pomsets:

Saved in:

Bibliographic Details
Main Author:	Rensink, Arend (Author)
Format:	Book
Language:	German
Published:	Hildesheim Inst. für Informatik 1994
Series:	Hildesheimer Informatik-Berichte 1994,30
Online Access:	Inhaltsverzeichnis
Physical Description:	42 S. graph. Darst.

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV010081138
003	DE-604
005	19950323
007	t\|
008	950227s1994 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 943443113 \|2 DE-101
035			\|a (OCoLC)75581110
035			\|a (DE-599)BVBBV010081138
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-29T
100	1		\|a Rensink, Arend \|e Verfasser \|4 aut
245	1	0	\|a Deterministic pomsets \|c Arend Rensink
264		1	\|a Hildesheim \|b Inst. für Informatik \|c 1994
300			\|a 42 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Hildesheimer Informatik-Berichte \|v 1994,30
830		0	\|a Hildesheimer Informatik-Berichte \|v 1994,30 \|w (DE-604)BV002483135 \|9 1994,30
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006691029&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006691029

Record in the Search Index

_version_	1820868312589926400
adam_text	CONTENTS 1 INTRODUCTION 2 2 AN INVESTIGATION OF POINSET PREFIX 8 2.1 PREFIX RELATIONS AND MORPHISMS . . . 8 2.2 DETERMINISTIC POMSETS . 10 2.3 PRIME ALGEBRAIC BASES . 13 2.4 DETERMINISATION . 14 3 AN EQUATIONAL THEORY OF DETERMINISTIC POMSETS 16 3.1 THE ALGEBRA ADET . 16 3.2 W-COMPLETENESS OF ADET . 20 4 REFINEMENT OF POMSETS 21 4.1 HOMOMORPHISMS AND REFINEMENT . 21 4.2 REFINEMENT AND DETERMINISATION . 23 4.3 REFINEMENT ALGEBRAICALLY: THE ALGEBRA A DET . 24 4.4 W-COMPLETENESS OF A* DET . 25
any_adam_object	1
author	Rensink, Arend
author_facet	Rensink, Arend
author_role	aut
author_sort	Rensink, Arend
author_variant	a r ar
building	Verbundindex
bvnumber	BV010081138
classification_rvk	SS 4615
ctrlnum	(OCoLC)75581110 (DE-599)BVBBV010081138
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010081138</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950323</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">950227s1994 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943443113</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75581110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010081138</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rensink, Arend</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deterministic pomsets</subfield><subfield code="c">Arend Rensink</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hildesheim</subfield><subfield code="b">Inst. für Informatik</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">42 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Hildesheimer Informatik-Berichte</subfield><subfield code="v">1994,30</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Hildesheimer Informatik-Berichte</subfield><subfield code="v">1994,30</subfield><subfield code="w">(DE-604)BV002483135</subfield><subfield code="9">1994,30</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006691029&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006691029</subfield></datafield></record></collection>
id	DE-604.BV010081138
illustrated	Illustrated
indexdate	2025-01-10T13:22:22Z
institution	BVB
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006691029
oclc_num	75581110
open_access_boolean
owner	DE-12 DE-29T
owner_facet	DE-12 DE-29T
physical	42 S. graph. Darst.
publishDate	1994
publishDateSearch	1994
publishDateSort	1994
publisher	Inst. für Informatik
record_format	marc
series	Hildesheimer Informatik-Berichte
series2	Hildesheimer Informatik-Berichte
spelling	Rensink, Arend Verfasser aut Deterministic pomsets Arend Rensink Hildesheim Inst. für Informatik 1994 42 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Hildesheimer Informatik-Berichte 1994,30 Hildesheimer Informatik-Berichte 1994,30 (DE-604)BV002483135 1994,30 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006691029&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Rensink, Arend Deterministic pomsets Hildesheimer Informatik-Berichte
title	Deterministic pomsets
title_auth	Deterministic pomsets
title_exact_search	Deterministic pomsets
title_full	Deterministic pomsets Arend Rensink
title_fullStr	Deterministic pomsets Arend Rensink
title_full_unstemmed	Deterministic pomsets Arend Rensink
title_short	Deterministic pomsets
title_sort	deterministic pomsets
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006691029&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV002483135
work_keys_str_mv	AT rensinkarend deterministicpomsets

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items