Find link

language:

Find link is a tool written by Edward Betts.

searching for European Association for Theoretical Computer Science 35 found (98 total)

alternate case: european Association for Theoretical Computer Science

Pointer machine (1,556 words) [view diff] exact match in snippet view article find links to article

column on "Logic in Computer Science", Bulletin of European Association for Theoretical Computer Science, Number 35, June 1988, 71-82. Introduced the unified

Hans L. Bodlaender (446 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-9555168-0-1 EATCS–IPEC Nerode Prize 2014 – Laudatio, European Association for Theoretical Computer Science, retrieved 2021-09-23 Fomin, Fedor V.; Kratsch,

Kasper Green Larsen (107 words) [view diff] exact match in snippet view article find links to article

Association of Theoretical Computer Science for his work on lower bounds. "Presburger Award". European Association for Theoretical Computer Science.

Yoav Freund (199 words) [view diff] exact match in snippet view article find links to article

148–156. ISBN 978-1558604193. "Gödel Prize - 2003". European Association for Theoretical Computer Science (EATCS). "ACM: Press Release, March 1, 2005". www

Martin Dyer (392 words) [view diff] exact match in snippet view article find links to article

Andrei Bulatov, Jin-Yi Cai, Xi Chen.) In 2013, the European Association for Theoretical Computer Science (EATCS) Awards Committee, consisting of Leslie Ann

Karl Bringmann (164 words) [view diff] exact match in snippet view article find links to article

Science at the ETH Zurich. "Presburger Award". European Association for Theoretical Computer Science. "Heinz Maier-Leibnitz-Preis". German Research Foundation

Elias Koutsoupias (376 words) [view diff] exact match in snippet view article find links to article

Koutsoupias & Papadimitriou (1999). "Gödel Prize, ACM". European Association for Theoretical Computer Science. "Faculty Associate Receives 2012 Goedel Prize"

Mikołaj Bojańczyk (285 words) [view diff] exact match in snippet view article find links to article

ISSN 0004-5411. S2CID 52817406. "Presburger Award". European Association for Theoretical Computer Science. Retrieved March 27, 2017. Official website Mikołaj

Neeraj Kayal (391 words) [view diff] exact match in snippet view article find links to article

Archived 9 September 2005 at the Wayback Machine European Association for Theoretical Computer Science (EATCS) announcement of 2006 Godel prize [1] Fulkerson

Natural proof (767 words) [view diff] exact match in snippet view article find links to article

Mulmuley-Sohoni Approach to P vs. NP" (PDF). Bulletin of the European Association for Theoretical Computer Science. 78: 86–97. A. A. Razborov (2004). "Feasible Proofs

Tim Roughgarden (491 words) [view diff] exact match in snippet view article find links to article

January 19, 2020. "The Gödel Prize 2012 - Laudatio". European Association for Theoretical Computer Science. 2012. Retrieved January 19, 2020. "ACM Gödel Prize

Scott A. Smolka (385 words) [view diff] exact match in snippet view article find links to article

Milner's bisimulation. Smolka is a Fellow of the European Association for Theoretical Computer Science (EATCS). In 2019 on his 65th birthday, a conference

Oded Regev (computer scientist) (815 words) [view diff] exact match in snippet view article

October 5, 2014. Chita, Efi. "2018 Gödel Prize". European Association for Theoretical Computer Science (EATCS). Retrieved 2024-01-16. "IACR Publication

Gap theorem (549 words) [view diff] exact match in snippet view article find links to article

Computational Complexity" (PDF). Bulletin of the European Association for Theoretical Computer Science (80): 95–133. Archived from the original (PDF) on

Noga Alon (1,336 words) [view diff] exact match in snippet view article find links to article

Laureates". iias.huji.ac.il. "Gödel Prize – 2005". European Association for Theoretical Computer Science. Retrieved 2023-05-06. "Israel Prize Official Site

Spectral gap (physics) (509 words) [view diff] exact match in snippet view article

Gap Problem and Why Should We". Bulletin of the European Association for Theoretical Computer Science. 122 (2017). Retrieved 18 December 2018. Cubitt

Jaco de Bakker (299 words) [view diff] exact match in snippet view article find links to article

verification). He was in 1972 one of the founders of the European Association for Theoretical Computer Science (EATCS), where he was from 1972 to 1982 vice-chair

Ronald Fagin (1,179 words) [view diff] exact match in snippet view article find links to article

ACM SIGMOD Edgar F. Codd Innovations Award The European Association for Theoretical Computer Science (in conjunction with the ACM Special Interest Group

Church–Turing thesis (6,820 words) [view diff] exact match in snippet view article find links to article

Quest for Absolute Definitions" (PDF). Bulletin of European Association for Theoretical Computer Science (81). Archived (PDF) from the original on 2004-07-27

Bridge and torch problem (1,146 words) [view diff] exact match in snippet view article find links to article

"Crossing the bridge at night" (PDF). Bulletin of the European Association for Theoretical Computer Science. Vol. 78. pp. 241–246. "The Bridge Crossing Puzzle"

Graph isomorphism problem (4,214 words) [view diff] exact match in snippet view article find links to article

Perspectives and open problems" (PDF), Bulletin of the European Association for Theoretical Computer Science, 86: 66–84. (A brief survey of open questions related

Peter O'Hearn (1,087 words) [view diff] exact match in snippet view article find links to article

Efi (12–15 July 2016). "2016 Gödel Prize". EATCS. European Association for Theoretical Computer Science. "Royal Academy Fellows 2016". Archived from the

Department of Computer Science, FMPI, Comenius University (455 words) [view diff] exact match in snippet view article find links to article

Besides, the department houses the secretariat of the European Association for Theoretical Computer Science, of the Slovak Society for Computer Science and

Graph canonization (1,112 words) [view diff] exact match in snippet view article find links to article

invariants to canonization" (PDF), Bulletin of the European Association for Theoretical Computer Science (63): 115–119, MR 1621595. Babai, László; Luks,

Conjecture (3,042 words) [view diff] exact match in snippet view article find links to article

Neumann, and the P = NP problem, Bulletin of the European Association for Theoretical Computer Science, vol. 38, pp. 101–107 Cook, Stephen (1971). "The

F-algebra (1,800 words) [view diff] exact match in snippet view article find links to article

(Co) Algebras and (Co) Induction. Bulletin of the European Association for Theoretical Computer Science, vol. 62, 1997, Archived 2021-02-12 at the Wayback

Sum and Product Puzzle (1,778 words) [view diff] exact match in snippet view article find links to article

ramifications (Part I)" (PDF). Bulletin of the European Association for Theoretical Computer Science, EATCS. 90: 175–191. Gardner, Martin (December 1979)

Juris Hartmanis (2,513 words) [view diff] exact match in snippet view article find links to article

Neumann, and the P =? NP problem". Bulletin of the European Association for Theoretical Computer Science. 38: 101–107. "Fellows". American Association for

Smoothed analysis (1,727 words) [view diff] exact match in snippet view article find links to article

low complexity bounds to be proven. ACM and the European Association for Theoretical Computer Science awarded the 2008 Gödel Prize to Daniel Spielman

Algorithm (6,769 words) [view diff] exact match in snippet view article find links to article

Quest for Absolute Definitions" (PDF). Bulletin of European Association for Theoretical Computer Science. 81. Archived (PDF) from the original on October

Word problem (mathematics) (3,205 words) [view diff] exact match in snippet view article

1910: on a paper by Axel Thue". Bulletin of the European Association for Theoretical Computer Science. 72: 256–269. CiteSeerX 10.1.1.32.8993. MR 1798015

Separation logic (3,673 words) [view diff] exact match in snippet view article find links to article

ignored (help) Chita, Efi. "2016 Gödel Prize". Eatcs. European Association for Theoretical Computer Science. Retrieved 2022-08-29. Separation logic and bi-abduction

True quantified Boolean formula (3,815 words) [view diff] exact match in snippet view article find links to article

history of computational complexity. Bulletin of the European Association for Theoretical Computer Science, The Computational Complexity Column, 80. Retrieved

Algorithm characterizations (8,991 words) [view diff] exact match in snippet view article find links to article

Quest for Absolute Definitions" Bulletin of the European Association for Theoretical Computer Science Number 81 (October 2003), pages 195–225. Reprinted

P versus NP problem (7,784 words) [view diff] exact match in snippet view article find links to article

and the P = NP problem" (PDF). Bulletin of the European Association for Theoretical Computer Science. 38: 101–107. Sipser, Michael: Introduction to the