Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Vaughan_Pratt> ?p ?o }
- Vaughan_Pratt abstract "Vaughan Ronald Pratt (born 1944), a Professor Emeritus at Stanford University, was an early pioneer in the field of computer science. Publishing since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently his research has focused on formal modeling of concurrent systems and Chu spaces. A pattern of applying models from diverse areas of mathematics such as geometry, linear algebra, abstract algebra, and especially mathematical logic to computer science pervades his work.".
- Vaughan_Pratt birthDate "1944".
- Vaughan_Pratt birthYear "1944".
- Vaughan_Pratt thumbnail VaughanPratt.JPG?width=300.
- Vaughan_Pratt wikiPageExternalLink abstracts.html.
- Vaughan_Pratt wikiPageExternalLink pratt.html.
- Vaughan_Pratt wikiPageExternalLink tdop.html.
- Vaughan_Pratt wikiPageExternalLink www.tiqit.com.
- Vaughan_Pratt wikiPageID "1597977".
- Vaughan_Pratt wikiPageLength "8352".
- Vaughan_Pratt wikiPageOutDegree "63".
- Vaughan_Pratt wikiPageRevisionID "678357633".
- Vaughan_Pratt wikiPageWikiLink Abstract_algebra.
- Vaughan_Pratt wikiPageWikiLink Ambigram.
- Vaughan_Pratt wikiPageWikiLink Association_for_Computing_Machinery.
- Vaughan_Pratt wikiPageWikiLink Byte_(magazine).
- Vaughan_Pratt wikiPageWikiLink Byte_magazine.
- Vaughan_Pratt wikiPageWikiLink CGOL.
- Vaughan_Pratt wikiPageWikiLink Category:1944_births.
- Vaughan_Pratt wikiPageWikiLink Category:Australian_computer_scientists.
- Vaughan_Pratt wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Vaughan_Pratt wikiPageWikiLink Category:Living_people.
- Vaughan_Pratt wikiPageWikiLink Category:Stanford_University_School_of_Engineering_faculty.
- Vaughan_Pratt wikiPageWikiLink Category:Stanford_University_alumni.
- Vaughan_Pratt wikiPageWikiLink Category:Theoretical_computer_scientists.
- Vaughan_Pratt wikiPageWikiLink Chu_space.
- Vaughan_Pratt wikiPageWikiLink Co-NP-complete.
- Vaughan_Pratt wikiPageWikiLink Computer_science.
- Vaughan_Pratt wikiPageWikiLink Concurrency_(computer_science).
- Vaughan_Pratt wikiPageWikiLink Donald_Knuth.
- Vaughan_Pratt wikiPageWikiLink Douglas_Crockford.
- Vaughan_Pratt wikiPageWikiLink Dux.
- Vaughan_Pratt wikiPageWikiLink Dynamic_logic_(modal_logic).
- Vaughan_Pratt wikiPageWikiLink File:Sun_Microsystems_logo.svg.
- Vaughan_Pratt wikiPageWikiLink Geometry.
- Vaughan_Pratt wikiPageWikiLink JSLint.
- Vaughan_Pratt wikiPageWikiLink James_H._Morris.
- Vaughan_Pratt wikiPageWikiLink Knox_Grammar_School.
- Vaughan_Pratt wikiPageWikiLink Knuth-Morris-Pratt_algorithm.
- Vaughan_Pratt wikiPageWikiLink Knuth–Morris–Pratt_algorithm.
- Vaughan_Pratt wikiPageWikiLink Linear_algebra.
- Vaughan_Pratt wikiPageWikiLink MACLISP.
- Vaughan_Pratt wikiPageWikiLink MACSYMA.
- Vaughan_Pratt wikiPageWikiLink Maclisp.
- Vaughan_Pratt wikiPageWikiLink Macsyma.
- Vaughan_Pratt wikiPageWikiLink Manuel_Blum.
- Vaughan_Pratt wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Vaughan_Pratt wikiPageWikiLink Mathematical_logic.
- Vaughan_Pratt wikiPageWikiLink Median_of_medians.
- Vaughan_Pratt wikiPageWikiLink Modal_logic.
- Vaughan_Pratt wikiPageWikiLink NP_(complexity).
- Vaughan_Pratt wikiPageWikiLink Natural_language_processing.
- Vaughan_Pratt wikiPageWikiLink Pentium_FDIV_bug.
- Vaughan_Pratt wikiPageWikiLink Pratt_certificate.
- Vaughan_Pratt wikiPageWikiLink Pratt_parser.
- Vaughan_Pratt wikiPageWikiLink Primality_certificate.
- Vaughan_Pratt wikiPageWikiLink Primality_test.
- Vaughan_Pratt wikiPageWikiLink Primality_testing.
- Vaughan_Pratt wikiPageWikiLink Professor.
- Vaughan_Pratt wikiPageWikiLink Robert_Floyd.
- Vaughan_Pratt wikiPageWikiLink Robert_Tarjan.
- Vaughan_Pratt wikiPageWikiLink Robert_W._Floyd.
- Vaughan_Pratt wikiPageWikiLink Ron_Rivest.
- Vaughan_Pratt wikiPageWikiLink SUN_workstation.
- Vaughan_Pratt wikiPageWikiLink Search_algorithm.
- Vaughan_Pratt wikiPageWikiLink Selection_algorithm.
- Vaughan_Pratt wikiPageWikiLink Shellsort.
- Vaughan_Pratt wikiPageWikiLink Sorting_algorithm.
- Vaughan_Pratt wikiPageWikiLink Sorting_network.
- Vaughan_Pratt wikiPageWikiLink Stanford_University.
- Vaughan_Pratt wikiPageWikiLink String_searching_algorithm.
- Vaughan_Pratt wikiPageWikiLink Sun_Microsystems.
- Vaughan_Pratt wikiPageWikiLink Sydney_University.
- Vaughan_Pratt wikiPageWikiLink TECO_(text_editor).
- Vaughan_Pratt wikiPageWikiLink Text_Editor_and_Corrector.
- Vaughan_Pratt wikiPageWikiLink University_of_California,_Berkeley.
- Vaughan_Pratt wikiPageWikiLink University_of_Sydney.
- Vaughan_Pratt wikiPageWikiLink File:VaughanPratt.JPG.
- Vaughan_Pratt wikiPageWikiLinkText "Pratt".
- Vaughan_Pratt wikiPageWikiLinkText "Vaughan Pratt".
- Vaughan_Pratt dateOfBirth "1944".
- Vaughan_Pratt hasPhotoCollection Vaughan_Pratt.
- Vaughan_Pratt name "Pratt, Vaughan".
- Vaughan_Pratt shortDescription "Australian computer scientist".
- Vaughan_Pratt wikiPageUsesTemplate Template:Authority_control.
- Vaughan_Pratt wikiPageUsesTemplate Template:MathGenealogy.
- Vaughan_Pratt wikiPageUsesTemplate Template:Persondata.
- Vaughan_Pratt wikiPageUsesTemplate Template:Reflist.
- Vaughan_Pratt description "Australian computer scientist".
- Vaughan_Pratt description "Australian computer scientist".
- Vaughan_Pratt subject Category:1944_births.
- Vaughan_Pratt subject Category:Australian_computer_scientists.
- Vaughan_Pratt subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Vaughan_Pratt subject Category:Living_people.
- Vaughan_Pratt subject Category:Stanford_University_School_of_Engineering_faculty.
- Vaughan_Pratt subject Category:Stanford_University_alumni.
- Vaughan_Pratt subject Category:Theoretical_computer_scientists.
- Vaughan_Pratt hypernym Pioneer.
- Vaughan_Pratt type Agent.
- Vaughan_Pratt type List.