Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Julius_Richard_Büchi> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- Julius_Richard_Büchi abstract "Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician.He received his Dr. sc. nat. in 1950 at the ETH Zürich under supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University, Lafayette, Indiana. He and his first student Lawrence Landweber had a major influence on the development of theoretical computer science.Together with his friend Saunders Mac Lane, a student of Paul Bernays as well, Büchi published numerous celebrated works. He invented what is now known as the Büchi automaton, a finite state automaton accepting certain collections of infinite words known as omega-regular languages. The "n squares' problem", known also as Büchi's problem, is an open problem from number theory, closely related to Hilbert's tenth problem. One of his students was Lawrence Landweber who received his doctorate at Purdue University in 1967.".
- Julius_Richard_Büchi birthDate "1924".
- Julius_Richard_Büchi deathDate "1984".
- Julius_Richard_Büchi wikiPageID "6736044".
- Julius_Richard_Büchi wikiPageRevisionID "577977174".
- Julius_Richard_Büchi dateOfBirth "1924".
- Julius_Richard_Büchi dateOfDeath "1984".
- Julius_Richard_Büchi name "Buchi, Julius Richard".
- Julius_Richard_Büchi shortDescription "Swiss mathematician".
- Julius_Richard_Büchi description "Swiss mathematician".
- Julius_Richard_Büchi subject Category:1924_births.
- Julius_Richard_Büchi subject Category:1984_deaths.
- Julius_Richard_Büchi subject Category:Swiss_mathematicians.
- Julius_Richard_Büchi type Agent.
- Julius_Richard_Büchi type Person.
- Julius_Richard_Büchi type Person.
- Julius_Richard_Büchi type Q215627.
- Julius_Richard_Büchi type Q5.
- Julius_Richard_Büchi type Agent.
- Julius_Richard_Büchi type NaturalPerson.
- Julius_Richard_Büchi type Thing.
- Julius_Richard_Büchi type Person.
- Julius_Richard_Büchi comment "Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician.He received his Dr. sc. nat. in 1950 at the ETH Zürich under supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University, Lafayette, Indiana. He and his first student Lawrence Landweber had a major influence on the development of theoretical computer science.Together with his friend Saunders Mac Lane, a student of Paul Bernays as well, Büchi published numerous celebrated works.".
- Julius_Richard_Büchi label "Julius Richard Büchi".
- Julius_Richard_Büchi label "Julius Richard Büchi".
- Julius_Richard_Büchi label "Julius Richard Büchi".
- Julius_Richard_Büchi label "Julius Richard Büchi".
- Julius_Richard_Büchi sameAs Julius_Richard_B%C3%BCchi.
- Julius_Richard_Büchi sameAs Julius_Richard_Büchi.
- Julius_Richard_Büchi sameAs Julius_Richard_Büchi.
- Julius_Richard_Büchi sameAs Julius_Richard_Büchi.
- Julius_Richard_Büchi sameAs Q92672.
- Julius_Richard_Büchi sameAs Q92672.
- Julius_Richard_Büchi wasDerivedFrom Julius_Richard_Büchi?oldid=577977174.
- Julius_Richard_Büchi givenName "Julius Richard".
- Julius_Richard_Büchi name "Julius Richard Buchi".
- Julius_Richard_Büchi surname "Buchi".