Robert Forbes McNaughton, Jr., né en 1924 et mort le 5 juin 2014 à Troy, État de New York à l'âge de 90 ans, est un mathématicien, logicien, et informaticien théoricien américain. Il est un pionnier de la théorie des automates, et auteur de contributions fondamentales en plusieurs domaines d'informatique théorique, comme les langages formels, les grammaires et systèmes de réécriture, la combinatoire des mots.

Property Value
dbo:abstract
  • Robert Forbes McNaughton, Jr., né en 1924 et mort le 5 juin 2014 à Troy, État de New York à l'âge de 90 ans, est un mathématicien, logicien, et informaticien théoricien américain. Il est un pionnier de la théorie des automates, et auteur de contributions fondamentales en plusieurs domaines d'informatique théorique, comme les langages formels, les grammaires et systèmes de réécriture, la combinatoire des mots. (fr)
  • Robert Forbes McNaughton, Jr., né en 1924 et mort le 5 juin 2014 à Troy, État de New York à l'âge de 90 ans, est un mathématicien, logicien, et informaticien théoricien américain. Il est un pionnier de la théorie des automates, et auteur de contributions fondamentales en plusieurs domaines d'informatique théorique, comme les langages formels, les grammaires et systèmes de réécriture, la combinatoire des mots. (fr)
dbo:almaMater
dbo:citizenship
dbo:deathPlace
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 9752366 (xsd:integer)
dbo:wikiPageLength
  • 6029 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 182661388 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1953 (xsd:integer)
  • 1960 (xsd:integer)
  • 1966 (xsd:integer)
  • 1971 (xsd:integer)
  • 1982 (xsd:integer)
  • 1988 (xsd:integer)
  • 2014 (xsd:integer)
prop-fr:auteur
  • Wang Hao (fr)
  • Hisao Yamada (fr)
  • Robert McNaughton (fr)
  • Wolfgang Thomas (fr)
  • Seymour Papert (fr)
  • John Corcoran (fr)
  • Friedrich Otto (fr)
  • Paliath Narendran (fr)
  • Wang Hao (fr)
  • Hisao Yamada (fr)
  • Robert McNaughton (fr)
  • Wolfgang Thomas (fr)
  • Seymour Papert (fr)
  • John Corcoran (fr)
  • Friedrich Otto (fr)
  • Paliath Narendran (fr)
prop-fr:collection
  • Collection de logique mathématiques, série A (fr)
  • MIT Research monographs (fr)
  • Collection de logique mathématiques, série A (fr)
  • MIT Research monographs (fr)
prop-fr:doi
  • 10.110900 (xsd:double)
prop-fr:id
  • Obituary (fr)
  • Obituary (fr)
prop-fr:isbn
  • 0 (xsd:integer)
  • 9780262130769 (xsd:decimal)
prop-fr:issn
  • 530 (xsd:integer)
prop-fr:journal
  • Information and Control (fr)
  • Information and Control (fr)
prop-fr:lieu
  • Englewood Cliffs, N.J. (fr)
  • Paris et Louvain (fr)
  • Englewood Cliffs, N.J. (fr)
  • Paris et Louvain (fr)
prop-fr:mois
  • janvier (fr)
  • octobre (fr)
  • janvier (fr)
  • octobre (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 5 (xsd:integer)
  • 114 (xsd:integer)
prop-fr:numéroDansCollection
  • 65 (xsd:integer)
prop-fr:oclc
  • 264353810 (xsd:integer)
  • 422396010 (xsd:integer)
prop-fr:pages
  • 39 (xsd:integer)
  • 324 (xsd:integer)
  • 521 (xsd:integer)
prop-fr:pagesTotales
  • 54 (xsd:integer)
  • 163 (xsd:integer)
  • xvi+400 (fr)
prop-fr:périodique
  • IRE Trans. Electronic Computers (fr)
  • Journal of the ACM (fr)
  • Bulletin de l’EATCS (fr)
  • IRE Trans. Electronic Computers (fr)
  • Journal of the ACM (fr)
  • Bulletin de l’EATCS (fr)
prop-fr:sudoc
  • 6780474 (xsd:integer)
prop-fr:titre
  • Regular expressions and state graphs for automata (fr)
  • Church-Rosser Thue systems and formal languages (fr)
  • Counter-free automata (fr)
  • Obituary Robert McNaughton 1924 – 2014 (fr)
  • Testing and Generating Infinite Sequences by a Finite Automaton (fr)
  • Les systèmes axiomatiques de la théorie des ensembles (fr)
  • Elementary computability, formal languages, and automata (fr)
  • Regular expressions and state graphs for automata (fr)
  • Church-Rosser Thue systems and formal languages (fr)
  • Counter-free automata (fr)
  • Obituary Robert McNaughton 1924 – 2014 (fr)
  • Testing and Generating Infinite Sequences by a Finite Automaton (fr)
  • Les systèmes axiomatiques de la théorie des ensembles (fr)
  • Elementary computability, formal languages, and automata (fr)
prop-fr:url
prop-fr:volume
  • 9 (xsd:integer)
  • 35 (xsd:integer)
  • EC-9 (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Prentice-Hall (fr)
  • M.I.T. Press (fr)
  • Gauthier-Villars et E. Nauwelaerts (fr)
  • Prentice-Hall (fr)
  • M.I.T. Press (fr)
  • Gauthier-Villars et E. Nauwelaerts (fr)
dct:subject
rdf:type
rdfs:comment
  • Robert Forbes McNaughton, Jr., né en 1924 et mort le 5 juin 2014 à Troy, État de New York à l'âge de 90 ans, est un mathématicien, logicien, et informaticien théoricien américain. Il est un pionnier de la théorie des automates, et auteur de contributions fondamentales en plusieurs domaines d'informatique théorique, comme les langages formels, les grammaires et systèmes de réécriture, la combinatoire des mots. (fr)
  • Robert Forbes McNaughton, Jr., né en 1924 et mort le 5 juin 2014 à Troy, État de New York à l'âge de 90 ans, est un mathématicien, logicien, et informaticien théoricien américain. Il est un pionnier de la théorie des automates, et auteur de contributions fondamentales en plusieurs domaines d'informatique théorique, comme les langages formels, les grammaires et systèmes de réécriture, la combinatoire des mots. (fr)
rdfs:label
  • Robert McNaughton (fr)
  • Robert McNaughton (en)
  • Robert McNaughton (pt)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is prop-fr:directeurThèse of
is oa:hasTarget of
is foaf:primaryTopic of