Verfügbarkeit: Inductive counting below LOGSPACE | Technische Universität München

Inductive counting below LOGSPACE:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Damm, Carsten (VerfasserIn), Holzer, Markus (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Trier Univ. 1994
Schriftenreihe:	Mathematik, Informatik: Forschungsbericht Universität <Trier> 1994,12
Schlagwörter:	Algorithms Computational complexity Induction (Logic) Turing machines
Umfang:	11, II S. graph. Darst.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV010020304
003	DE-604
005	19970416
007	t\|
008	950201s1994 xx d\|\|\| \|\|\|\| 00\|\|\| engod
016	7		\|a 94373102X \|2 DE-101
035			\|a (OCoLC)832542639
035			\|a (DE-599)BVBBV010020304
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-12 \|a DE-91G \|a DE-473 \|a DE-824
050		0	\|a QA267.5.T8
084			\|a SI 990 \|0 (DE-625)143213: \|2 rvk
100	1		\|a Damm, Carsten \|e Verfasser \|4 aut
245	1	0	\|a Inductive counting below LOGSPACE \|c Carsten Damm ; Markus Holzer
264		1	\|a Trier \|b Univ. \|c 1994
300			\|a 11, II S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Universität <Trier> / Mathematik, Informatik: Forschungsbericht \|v 1994,12
650		4	\|a Algorithms
650		4	\|a Computational complexity
650		4	\|a Induction (Logic)
650		4	\|a Turing machines
700	1		\|a Holzer, Markus \|e Verfasser \|4 aut
800	1		\|a Mathematik, Informatik: Forschungsbericht \|t Universität <Trier> \|v 1994,12 \|w (DE-604)BV006128208 \|9 1994,12
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006643145

Datensatz im Suchindex

DE-BY-TUM_call_number	0111 2001 B 6127-1994,12
DE-BY-TUM_katkey	768263
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010161376
_version_	1821938319773138946
adam_text
any_adam_object
author	Damm, Carsten Holzer, Markus
author_facet	Damm, Carsten Holzer, Markus
author_role	aut aut
author_sort	Damm, Carsten
author_variant	c d cd m h mh
building	Verbundindex
bvnumber	BV010020304
callnumber-first	Q - Science
callnumber-label	QA267
callnumber-raw	QA267.5.T8
callnumber-search	QA267.5.T8
callnumber-sort	QA 3267.5 T8
callnumber-subject	QA - Mathematics
classification_rvk	SI 990
ctrlnum	(OCoLC)832542639 (DE-599)BVBBV010020304
discipline	Mathematik
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">BV010020304</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970416</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">950201s1994 xx d\|\|\| \|\|\|\| 00\|\|\| engod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">94373102X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)832542639</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010020304</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-824</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.5.T8</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 990</subfield><subfield code="0">(DE-625)143213:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Damm, Carsten</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Inductive counting below LOGSPACE</subfield><subfield code="c">Carsten Damm ; Markus Holzer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Trier</subfield><subfield code="b">Univ.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">11, II 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">Universität <Trier> / Mathematik, Informatik: Forschungsbericht</subfield><subfield code="v">1994,12</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Induction (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Turing machines</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Holzer, Markus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="800" ind1="1" ind2=" "><subfield code="a">Mathematik, Informatik: Forschungsbericht</subfield><subfield code="t">Universität <Trier></subfield><subfield code="v">1994,12</subfield><subfield code="w">(DE-604)BV006128208</subfield><subfield code="9">1994,12</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006643145</subfield></datafield></record></collection>
id	DE-604.BV010020304
illustrated	Illustrated
indexdate	2025-01-11T19:16:18Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006643145
oclc_num	832542639
open_access_boolean
owner	DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-824
owner_facet	DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-824
physical	11, II S. graph. Darst.
publishDate	1994
publishDateSearch	1994
publishDateSort	1994
publisher	Univ.
record_format	marc
series	Mathematik, Informatik: Forschungsbericht Universität <Trier>
series2	Universität <Trier> / Mathematik, Informatik: Forschungsbericht
spellingShingle	Damm, Carsten Holzer, Markus Inductive counting below LOGSPACE Mathematik, Informatik: Forschungsbericht Universität <Trier> Algorithms Computational complexity Induction (Logic) Turing machines
title	Inductive counting below LOGSPACE
title_auth	Inductive counting below LOGSPACE
title_exact_search	Inductive counting below LOGSPACE
title_full	Inductive counting below LOGSPACE Carsten Damm ; Markus Holzer
title_fullStr	Inductive counting below LOGSPACE Carsten Damm ; Markus Holzer
title_full_unstemmed	Inductive counting below LOGSPACE Carsten Damm ; Markus Holzer
title_short	Inductive counting below LOGSPACE
title_sort	inductive counting below logspace
topic	Algorithms Computational complexity Induction (Logic) Turing machines
topic_facet	Algorithms Computational complexity Induction (Logic) Turing machines
volume_link	(DE-604)BV006128208
work_keys_str_mv	AT dammcarsten inductivecountingbelowlogspace AT holzermarkus inductivecountingbelowlogspace

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik & Informatik, Berichte
Signatur:	0111 2001 B 6127-1994,12 Lageplan
Exemplar 1	Ausleihbar Am Standort