About: Liste de publications importantes en informatique théorique

Property	Value
dbo:wikiPageExternalLink	http://www.abelard.org/turpap2/tp2-ie.asp https://archive.org/details/disciplineofprog0000dijk https://archive.org/details/elementsofinform0000cove/page/38 http://crypto.cs.mcgill.ca/~crepeau/COMP647/2007/TOPIC02/GMR89.pdf http://sigact.org/Prizes/Godel/ http://spivey.oriel.ox.ac.uk/mike/zrm%7Cedition=2nd%7Cyear=1992%7Cpublisher=Prentice http://weblog.fortnow.com/2006/04/kurt-gdel-1906-1978.html http://www.engelschall.com/~sb/hamming/%3Fpage=1%7Cauthor-link=Richard http://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdf https://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-86/index.html https://web.archive.org/web/20031204194642/http:/citeseer.nj.nec.com/ziv77universal.html https://web.archive.org/web/20060325063006/http:/nvl.nist.gov/pub/nistpubs/sp958-lide/140-144.pdf https://web.archive.org/web/20090530093510/http:/www.cs.auckland.ac.nz/CDMTCS/chaitin/ibm.pdf%7Carchive-date=2009-05-30%7Cciteseerx=10.1.1.48.3094 https://web.archive.org/web/20160304013345/http:/www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdf https://web.archive.org/web/20160620201433/http:/spivey.oriel.ox.ac.uk/mike/zrm/%7Carchive-date=2016-06-20%7Curl-status=dead https://web.archive.org/web/20180422155111/http:/www.sigact.org/Prizes/Godel/ https://archive.org/details/computabilityint0000cutl%7Curl-access=registration%7Cyear=1980%7Cpublisher= http://www.cse.chalmers.se/~coquand/AUTOMATA/rs.pdf http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD418.html https://dl.acm.org/doi/book/10.5555/539437 http://www.cs.toronto.edu/~sacook/homepage/1971.pdf%7C https://www.cs.toronto.edu/~sacook/homepage/cobham_intrinsic.pdf https://www.cs.toronto.edu/~sacook/homepage/rabin_thesis.pdf http://www.eecs.berkeley.edu/~necula/Papers/FloydMeaning.pdf%7Cauthor-link1=Robert https://www.rand.org/content/dam/rand/pubs/research_memoranda/2008/RM704.pdf http://www.cs.utoronto.ca/~hehner/aPToP http://cm.bell-labs.com/cm/ms/what/shannonday/paper.html%7Cauthor-link=Claude https://www.pure.ed.ac.uk/ws/files/16426053/A_Calculus_of_Mobile_Processes_I.pdf http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/e-library/sources/tp2-ie.pdf http://compression.ru/download/articles/huff/huffman_1952_minimum-redundancy-codes.pdf http://www.usingcsp.com/) http://www.ensiie.fr/~blazy/ipr/article2.pdf%7C http://world.std.com/~rjs/1964pt1.pdf http://world.std.com/~rjs/1964pt2.pdf http://theory.lcs.mit.edu/~cis/pubs/shafi/1986-jacm.pdf%7C http://www.cs.auckland.ac.nz/CDMTCS/chaitin/ibm.pdf%7Cauthor-link=Gregory http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Books/SDRA.pdf http://citeseer.nj.nec.com/ziv77universal.html https://link.springer.com/book/10.1007/978-1-4419-8596-5 https://doi.org/10.1007/BF00268134 https://link.springer.com/book/10.1007/978-1-4612-5983-1 https://dl.acm.org/doi/10.1145/360051.360224 http://port70.net/~nsz/articles/classic/blum_complexity_1976.pdf
dbo:wikiPageWikiLink	dbr:Kossuth_Prize dbr:PCP_theorem dbr:Predicative_programming dbr:Simulated_annealing dbr:Minimum_spanning_tree dbr:Hamming_distance dbr:Communicating_sequential_processes dbr:Communications_of_the_ACM dbr:Raphael_M._Robinson dbr:Hamming_code dbr:Huffman_coding dbr:Dana_Scott dbr:Z_notation dbr:Resolution_(logic) dbr:Clifford_Stein dbr:Operations_Research_(journal) dbr:Karp's_21_NP-complete_problems dbc:Lists_of_publications_in_science dbr:Cambridge_University_Press dbr:Acta_Informatica dbr:IEEE_Transactions_on_Information_Theory dbr:Prolog dbr:Computer_language dbr:Trapdoor_function dbr:Niklaus_Wirth dbr:Tony_Hoare dbr:Formal_grammar dbr:Automated_theorem_proving dbr:Linear_programming dbr:PSPACE dbr:Leonid_Khachiyan dbr:MIT_Press dbr:Cryptography dbr:Hungary dbr:Formal_language dbr:Science_(journal) dbr:Zero-knowledge_proof dbr:Algorithmic_information_theory dbc:Computer_science_papers dbr:Journal_of_Number_Theory dbr:Halting_problem dbr:MMIX dbr:Computability dbr:Linear_logic dbr:Alan_Turing dbc:History_of_computer_science dbr:Edsger_W._Dijkstra dbr:Low-level_programming_language dbr:Ron_Rivest dbr:Theoretical_computer_science dbr:Tree_automaton dbr:Thomas_H._Cormen dbr:Ray_Solomonoff dbr:Donald_Knuth dbr:Information_theory dbr:John_von_Neumann dbr:Kurt_Gödel dbr:Charles_E._Leiserson dbr:Christos_Papadimitriou dbr:Leonid_Levin dbr:Rajeev_Motwani dbr:Robert_Sedgewick_(computer_scientist) dbr:Michael_O._Rabin dbr:Chomsky_hierarchy dbr:Regular_expression dbr:Computational_complexity_theory dbr:Blum_axioms dbr:Error-correcting_code dbr:Boolean_satisfiability_problem dbr:George_Dantzig dbr:Stephen_Cole_Kleene dbr:Simplex_algorithm dbr:Andrey_Kolmogorov dbr:Hoare_logic dbr:Transactions_of_the_American_Mathematical_Society dbr:Entscheidungsproblem dbr:Addison-Wesley dbr:Approximation_algorithm dbr:Prentice_Hall dbr:Victor_Klee dbr:Structured_programming dbr:Regular_language dbr:Interactive_proof_system dbr:Journal_of_the_ACM dbr:Formal_verification dbr:Monograph dbr:Flowchart dbr:George_J._Minty dbr:Loop_invariant dbr:IP_(complexity) dbr:Kolmogorov_complexity dbr:Joe_Stoy dbr:Narendra_Karmarkar dbr:Travelling_salesman_problem dbr:Miller–Rabin_primality_test dbr:Temporal_logic dbr:DPLL_algorithm dbr:Combinatorica dbr:Prentice_Hall_International_Series_in_Computer_Science dbr:MIX dbr:Interference_freedom dbr:Containment_hierarchy dbr:SIAM_Journal_on_Computing dbr:Algorithms dbr:Stephen_Kleene dbr:Recursion_theory dbr:IBM_Journal_of_Research_and_Development dbr:Communicating_Sequential_Processes dbr:LZ77 dbr:Alfred_V._Aho dbr:Jeffrey_D._Ullman dbr:Richard_Karp dbr:Springer_Verlag dbr:PH_(complexity) dbr:Linear_optimization dbr:NP-Complete dbr:One_way_function dbr:Randomized_algorithms dbr:Prentice-Hall dbr:Hoare_triple dbr:Bell_System_Technical_Journal dbr:C.A.R._Hoare dbr:Finite_automaton dbr:Finite_state_machine dbr:Proceedings_of_the_IRE dbr:Proceedings_of_the_London_Mathematical_Society dbr:Correctness_of_computer_programs dbr:Flow_chart dbr:Flowcharts dbr:Soviet_Mathematics_-_Doklady dbr:Unification_(computing) dbr:Wikipedia:OR dbr:Gödel dbr:John_E._Hopcroft dbr:Logical_programming dbr:Non-deterministic_finite_automaton dbr:Information_and_Control dbr:Edward_A._Ashcroft dbr:Turing_Machine dbr:Pi-Calculus dbr:Computational_randomness
gold:hypernym	dbr:List
rdf:type	owl:Thing
rdfs:label	Liste de publications importantes en informatique théorique (fr) Liste de publications importantes en informatique théorique (fr)
owl:sameAs	wikidata:Liste de publications importantes en informatique théorique dbpedia-fr:Liste de publications importantes en informatique théorique dbpedia-global:Liste de publications importantes en informatique théorique dbr:Liste de publications importantes en informatique théorique
is dbo:wikiPageRedirects of	dbr:On_Computable_Numbers dbr:Bibliography_of_theoretical_computer_science dbr:List_of_publications_in_theoretical_computer_science dbr:Important_publications_in_computability
is dbo:wikiPageWikiLink of	dbr:David_Gries dbr:Algorithm dbr:Theoretical_computer_science dbr:MAXEkSAT dbr:Information_theory dbr:Amir_Pnueli dbr:Computational_complexity_theory dbr:Lists_of_important_publications_in_science dbr:List_of_important_publications_in_mathematics dbr:Introduction_to_Automata_Theory,_Languages,_and_Computation dbr:Formal_verification dbr:Kolmogorov_complexity dbr:John_Alan_Robinson dbr:Computers_and_Intractability dbr:Temporal_logic dbr:Outline_of_computer_programming dbr:On_Computable_Numbers dbr:Bibliography_of_theoretical_computer_science dbr:List_of_publications_in_theoretical_computer_science dbr:Important_publications_in_computability