skip to content
THEORIES OF COMPUTATION. Preview this item
ClosePreview this item
Checking...

THEORIES OF COMPUTATION.

Author: M O Rabin; HEBREW UNIV JERUSALEM (Israel) INST OF MATHEMATICS.
Publisher: Ft. Belvoir Defense Technical Information Center JUN 1970.
Edition/Format:   Print book : English
Database:WorldCat
Summary:
The work on Theories of Computation by Y. Bar-Hillel, E. Shamir, A. Levy, H. Gaifman, M. Rabin, B. Gabbay, M. Magidor and G. Moran is briefly reported. A bibliography of seventeen technical reports and articles containing the results of this effort is given. (Author).
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: M O Rabin; HEBREW UNIV JERUSALEM (Israel) INST OF MATHEMATICS.
OCLC Number: 227596504
Description: 4 pages

Abstract:

The work on Theories of Computation by Y. Bar-Hillel, E. Shamir, A. Levy, H. Gaifman, M. Rabin, B. Gabbay, M. Magidor and G. Moran is briefly reported. A bibliography of seventeen technical reports and articles containing the results of this effort is given. (Author).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227596504> # THEORIES OF COMPUTATION.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "227596504" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137301759#Place/ft_belvoir> ; # Ft. Belvoir
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/reports> ; # Reports)
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/theoretical_mathematics> ; # Theoretical Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/set_theory> ; # (Set theory
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/mathematical_logic> ; # (Mathematical logic
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Thing/computation> ; # COMPUTATION
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/israel> ; # Israel
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/context_free_grammars> ; # (Context free grammars
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/automata> ; # Automata
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Thing/automata> ; # AUTOMATA
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/semantics> ; # (Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Thing/trees_mathematics> ; # TREES(MATHEMATICS)
   schema:about <http://experiment.worldcat.org/entity/work/data/137301759#Topic/linguistics> ; # Linguistics
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137301759#Organization/hebrew_univ_jerusalem_israel_inst_of_mathematics> ; # HEBREW UNIV JERUSALEM (Israel) INST OF MATHEMATICS.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137301759#Person/rabin_m_o> ; # M. O. Rabin
   schema:datePublished "JUN 1970" ;
   schema:datePublished "1970" ;
   schema:description "The work on Theories of Computation by Y. Bar-Hillel, E. Shamir, A. Levy, H. Gaifman, M. Rabin, B. Gabbay, M. Magidor and G. Moran is briefly reported. A bibliography of seventeen technical reports and articles containing the results of this effort is given. (Author)."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/137301759> ;
   schema:inLanguage "en" ;
   schema:name "THEORIES OF COMPUTATION."@en ;
   schema:productID "227596504" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227596504#PublicationEvent/ft_belvoirdefense_technical_information_centerjun_1970> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/137301759#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227596504> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137301759#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
   schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/137301759#Organization/hebrew_univ_jerusalem_israel_inst_of_mathematics> # HEBREW UNIV JERUSALEM (Israel) INST OF MATHEMATICS.
    a schema:Organization ;
   schema:name "HEBREW UNIV JERUSALEM (Israel) INST OF MATHEMATICS." ;
    .

<http://experiment.worldcat.org/entity/work/data/137301759#Person/rabin_m_o> # M. O. Rabin
    a schema:Person ;
   schema:familyName "Rabin" ;
   schema:givenName "M. O." ;
   schema:name "M. O. Rabin" ;
    .

<http://experiment.worldcat.org/entity/work/data/137301759#Thing/trees_mathematics> # TREES(MATHEMATICS)
    a schema:Thing ;
   schema:name "TREES(MATHEMATICS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/137301759#Topic/context_free_grammars> # (Context free grammars
    a schema:Intangible ;
   schema:name "(Context free grammars"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137301759#Topic/mathematical_logic> # (Mathematical logic
    a schema:Intangible ;
   schema:name "(Mathematical logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137301759#Topic/theoretical_mathematics> # Theoretical Mathematics
    a schema:Intangible ;
   schema:name "Theoretical Mathematics"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.