The Resource Modified branching programs and their computational power, Christoph Meinel
Modified branching programs and their computational power, Christoph Meinel
Resource Information
The item Modified branching programs and their computational power, Christoph Meinel represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Modified branching programs and their computational power, Christoph Meinel represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest research in this field. It presents a branching program-based approach to complexity theory. Starting with a definition of branching programs and a review of the former research, nondeterministic branching programs are introduced and investigated, thus allowing the description of some fundamental complexity classes. The book then concentrates on the new concept of Omega-branching programs. Apart from the usual binary tests they contain features for evaluating certain elementary Boolean functions and are suited for characterizing space-bounded complexity classes. By means of these characterizations the author demonstrates the separation of some restricted complexity classes. In the appendix a number of extremely restricted graph-accessibility problems are given, which are, due to the branching program descriptions in chapters 1-3, p-projection complete in the classes under consideration
- Language
- eng
- Extent
- 1 online resource (vi, 132 pages).
- Contents
-
- Preliminaries
- Branching programs and their computational power
- Nondeterministic branching programs --?=branching programs and theirs computational power
- Isbn
- 9783540461982
- Label
- Modified branching programs and their computational power
- Title
- Modified branching programs and their computational power
- Statement of responsibility
- Christoph Meinel
- Language
- eng
- Summary
- Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest research in this field. It presents a branching program-based approach to complexity theory. Starting with a definition of branching programs and a review of the former research, nondeterministic branching programs are introduced and investigated, thus allowing the description of some fundamental complexity classes. The book then concentrates on the new concept of Omega-branching programs. Apart from the usual binary tests they contain features for evaluating certain elementary Boolean functions and are suited for characterizing space-bounded complexity classes. By means of these characterizations the author demonstrates the separation of some restricted complexity classes. In the appendix a number of extremely restricted graph-accessibility problems are given, which are, due to the branching program descriptions in chapters 1-3, p-projection complete in the classes under consideration
- Action
- digitized
- Cataloging source
- OCLCE
- http://library.link/vocab/creatorDate
- 1954-
- http://library.link/vocab/creatorName
- Meinel, Christoph
- Dewey number
- 519.2/34
- Index
- index present
- LC call number
- QA274.76
- LC item number
- .M45 1989
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
- Lecture notes in computer science
- Series volume
- 370
- http://library.link/vocab/subjectName
-
- Branching processes
- Computational complexity
- Processus ramifiés
- Complexité de calcul (Informatique)
- Branching processes
- Computational complexity
- Label
- Modified branching programs and their computational power, Christoph Meinel
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references (pages 127-130) and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- black and white
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Preliminaries -- Branching programs and their computational power -- Nondeterministic branching programs --?=branching programs and theirs computational power
- Control code
- 610217117
- Dimensions
- unknown
- Extent
- 1 online resource (vi, 132 pages).
- Form of item
- online
- Isbn
- 9783540461982
- Level of compression
-
- lossless
- lossy
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Reformatting quality
-
- preservation
- access
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)610217117
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
- Label
- Modified branching programs and their computational power, Christoph Meinel
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references (pages 127-130) and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- black and white
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Preliminaries -- Branching programs and their computational power -- Nondeterministic branching programs --?=branching programs and theirs computational power
- Control code
- 610217117
- Dimensions
- unknown
- Extent
- 1 online resource (vi, 132 pages).
- Form of item
- online
- Isbn
- 9783540461982
- Level of compression
-
- lossless
- lossy
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Reformatting quality
-
- preservation
- access
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)610217117
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Modified-branching-programs-and-their/EEu__-Dg_jM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Modified-branching-programs-and-their/EEu__-Dg_jM/">Modified branching programs and their computational power, Christoph Meinel</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Modified branching programs and their computational power, Christoph Meinel
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Modified-branching-programs-and-their/EEu__-Dg_jM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Modified-branching-programs-and-their/EEu__-Dg_jM/">Modified branching programs and their computational power, Christoph Meinel</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>