Holdings: Theories of computability

Theories of computability:

Saved in:

Bibliographic Details
Main Author:	Pippenger, Nicholas (Author)
Format:	Book
Language:	English
Published:	Cambridge [u.a.] Cambridge Univ. Press 1997
Edition:	1. publ.
Subjects:	Berechnungstheorie Theoretische Informatik
Online Access:	Inhaltsverzeichnis
Item Description:	Hier auch später erschienene, unveränderte Nachdrucke
Physical Description:	IX, 251 S.
ISBN:	0521553806

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV011560546
003	DE-604
005	20130924
007	t
008	971006s1997 \|\|\|\| 00\|\|\| eng d
020			\|a 0521553806 \|9 0-521-55380-6
035			\|a (OCoLC)247775530
035			\|a (DE-599)BVBBV011560546
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-739 \|a DE-20 \|a DE-824 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-706
082	0		\|a 511.3
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 134 \|0 (DE-625)143590: \|2 rvk
100	1		\|a Pippenger, Nicholas \|e Verfasser \|4 aut
245	1	0	\|a Theories of computability \|c Nicholas Pippenger
250			\|a 1. publ.
264		1	\|a Cambridge [u.a.] \|b Cambridge Univ. Press \|c 1997
300			\|a IX, 251 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Hier auch später erschienene, unveränderte Nachdrucke
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	1		\|5 DE-604
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007784437&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-007784437

Record in the Search Index

_version_	1804126086448021504
adam_text	THEORIES OF COMPUTABILITY NICHOLAS PIPPENGER UNIVERSITY OF BRITISH COLUMBIA 1 CAMBRIDGE UNIVERSITY PRESS CONTENTS PREFACE 1 FINITE FUNCTIONS AND RELATIONS 1.1 STORIES 1.2 THREE BASIC STRUCTURES 1.3 BOOLEAN FUNCTIONS 1.4 CLONES 1.5 THE FINITE-BASIS THEOREM 1.6 BOOLEAN RELATIONS 1.7 CO-CLONES 1.8 FINITE FUNCTIONS AND RELATIONS 2 FINITE AUTOMATA AND THEIR LANGUAGES 2.1 SEQUENTIAL FUNCTIONS AND RELATIONS 2.2 TWO BASIC STRUCTURES 2.3 FINITE AUTOMATA 2.4 REGULAER EXPRESSIONS 2.5 LOGICAL EXPRESSIONS 2.6 APERIODIC LANGUAGES 2.7 VARIETIES 2.8 EXTRAS 3 GRAMMARS AND THEIR LANGUAGES 3.1 GRAMMARS 3.2 LINEAR LANGUAGES 3.3 CONTEXT-FREE LANGUAGES 3.4 AMBIGUITY 3.5 ENUMERABLE LANGUAGES 3.6 RATIONAL CONES 3.7 RATIONAL CYLINDERS AND RAYS V VI CONTENTS 3.8 SUBSTITUTION 3.9 GENERATING FUNCTIONS 4 COMPUTABLE FUNCTIONS AND RELATIONS 4.1 COMPUTABILITY THEORY 4.2 RECURSIVE PARTIAL FUNCTIONS 4.3 RECURSIVELY ENUMERABLE RELATIONS 4.4 TURING REDUCIBILITY 4.5 MANY-ONE REDUCIBILITY 4.6 ONE-ONE REDUCIBILITY AND RECURSIVE ISOMORPHISM 4.7 ABSTRACT COMPLEXITY THEORY 4.8 COMPUTABLE REAL NUMBERS REFERENCES AUTHORLNDEX SUBJECT INDEX MATH INDEX 134 136 141 141 143 168 180 196 204 218 229 234 243 246 250
any_adam_object	1
author	Pippenger, Nicholas
author_facet	Pippenger, Nicholas
author_role	aut
author_sort	Pippenger, Nicholas
author_variant	n p np
building	Verbundindex
bvnumber	BV011560546
classification_rvk	CC 2500 SK 130 ST 120 ST 130 ST 134
ctrlnum	(OCoLC)247775530 (DE-599)BVBBV011560546
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik Philosophie
edition	1. publ.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01647nam a2200433 c 4500</leader><controlfield tag="001">BV011560546</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130924 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971006s1997 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521553806</subfield><subfield code="9">0-521-55380-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247775530</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011560546</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-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pippenger, Nicholas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theories of computability</subfield><subfield code="c">Nicholas Pippenger</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 251 S.</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="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007784437&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007784437</subfield></datafield></record></collection>
id	DE-604.BV011560546
illustrated	Not Illustrated
indexdate	2024-07-09T18:11:52Z
institution	BVB
isbn	0521553806
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007784437
oclc_num	247775530
open_access_boolean
owner	DE-739 DE-20 DE-824 DE-634 DE-83 DE-11 DE-706
owner_facet	DE-739 DE-20 DE-824 DE-634 DE-83 DE-11 DE-706
physical	IX, 251 S.
publishDate	1997
publishDateSearch	1997
publishDateSort	1997
publisher	Cambridge Univ. Press
record_format	marc
spelling	Pippenger, Nicholas Verfasser aut Theories of computability Nicholas Pippenger 1. publ. Cambridge [u.a.] Cambridge Univ. Press 1997 IX, 251 S. txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s DE-604 Berechnungstheorie (DE-588)4005581-4 s GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007784437&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Pippenger, Nicholas Theories of computability Berechnungstheorie (DE-588)4005581-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4005581-4 (DE-588)4196735-5
title	Theories of computability
title_auth	Theories of computability
title_exact_search	Theories of computability
title_full	Theories of computability Nicholas Pippenger
title_fullStr	Theories of computability Nicholas Pippenger
title_full_unstemmed	Theories of computability Nicholas Pippenger
title_short	Theories of computability
title_sort	theories of computability
topic	Berechnungstheorie (DE-588)4005581-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Berechnungstheorie Theoretische Informatik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007784437&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT pippengernicholas theoriesofcomputability

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