Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Counter-machine_model> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Counter-machine_model abstract "This page supplements counter machine.Although some authors use the name \"register machine\" synonymously with \"counter machine\", this article will give details and examples of only of the most primitive species – the \"counter machine\" – of the genus \"register machine.\"Within the species \"counter machine\" there are a number of varieties: the models of Hermes (1954), Kaphengst (1957), Ershov (1958), Péter (1958), Minsky (1961) and Minsky (1967), Melzak (1961), Lambek (1961), Shepherdson and Sturgis (1963), and Schönhage (1980). These models will be described in more detail in the following.".
- Counter-machine_model wikiPageID "7599249".
- Counter-machine_model wikiPageLength "43133".
- Counter-machine_model wikiPageOutDegree "34".
- Counter-machine_model wikiPageRevisionID "677906645".
- Counter-machine_model wikiPageWikiLink Andrey_Ershov.
- Counter-machine_model wikiPageWikiLink Arnold_Schönhage.
- Counter-machine_model wikiPageWikiLink Category:Models_of_computation.
- Counter-machine_model wikiPageWikiLink Counter_machine.
- Counter-machine_model wikiPageWikiLink David_Hilbert.
- Counter-machine_model wikiPageWikiLink Diophantine_equation.
- Counter-machine_model wikiPageWikiLink Emil_Leon_Post.
- Counter-machine_model wikiPageWikiLink Gödel_numbering.
- Counter-machine_model wikiPageWikiLink Hans_Hermes.
- Counter-machine_model wikiPageWikiLink Hao_Wang_(academic).
- Counter-machine_model wikiPageWikiLink Hilberts_problems.
- Counter-machine_model wikiPageWikiLink Joachim_Lambek.
- Counter-machine_model wikiPageWikiLink MIT_Lincoln_Laboratory.
- Counter-machine_model wikiPageWikiLink Marvin_Minsky.
- Counter-machine_model wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Counter-machine_model wikiPageWikiLink Pointer_machine.
- Counter-machine_model wikiPageWikiLink Post–Turing_machine.
- Counter-machine_model wikiPageWikiLink Primitive_recursive_function.
- Counter-machine_model wikiPageWikiLink Random-access_machine.
- Counter-machine_model wikiPageWikiLink Register_machine.
- Counter-machine_model wikiPageWikiLink Rózsa_Péter.
- Counter-machine_model wikiPageWikiLink Tag_system.
- Counter-machine_model wikiPageWikiLink Turing_machine.
- Counter-machine_model wikiPageWikiLink Wang_B-machine.
- Counter-machine_model wikiPageWikiLink William_Lowell_Putnam_Mathematical_Competition.
- Counter-machine_model wikiPageWikiLink Z._Alexander_Melzak.
- Counter-machine_model wikiPageWikiLink Μ-recursive_function.
- Counter-machine_model wikiPageWikiLink Μ_operator.
- Counter-machine_model wikiPageWikiLinkText "Counter-machine model".
- Counter-machine_model wikiPageWikiLinkText "counter-machine model".
- Counter-machine_model wikiPageWikiLinkText "model".
- Counter-machine_model subject Category:Models_of_computation.
- Counter-machine_model type Model.
- Counter-machine_model type Method.
- Counter-machine_model type Model.
- Counter-machine_model comment "This page supplements counter machine.Although some authors use the name \"register machine\" synonymously with \"counter machine\", this article will give details and examples of only of the most primitive species – the \"counter machine\" – of the genus \"register machine.\"Within the species \"counter machine\" there are a number of varieties: the models of Hermes (1954), Kaphengst (1957), Ershov (1958), Péter (1958), Minsky (1961) and Minsky (1967), Melzak (1961), Lambek (1961), Shepherdson and Sturgis (1963), and Schönhage (1980). ".
- Counter-machine_model label "Counter-machine model".
- Counter-machine_model sameAs Q5176889.
- Counter-machine_model sameAs m.0266cn3.
- Counter-machine_model sameAs Q5176889.
- Counter-machine_model wasDerivedFrom Counter-machine_model?oldid=677906645.
- Counter-machine_model isPrimaryTopicOf Counter-machine_model.