Find link

language:

Find link is a tool written by Edward Betts.

searching for Dexter Kozen 10 found (36 total)

Cobham's thesis (684 words) [view diff] exact match in snippet view article find links to article

perspective, Cambridge University Press, p. 128, ISBN 978-0-521-88473-0. Dexter Kozen (2006), Theory of computation, Birkhäuser, p. 4, ISBN 978-1-84628-297-3

Berlekamp's algorithm (1,759 words) [view diff] exact match in snippet view article find links to article

irreducibility tests Cantor–Zassenhaus algorithm Theory of Computation - Dexter Kozen. Springer. Retrieved 2020-09-19. Berlekamp, Elwyn R. (1967). "Factoring

PCP theorem (1,770 words) [view diff] exact match in snippet view article find links to article

{NP}}\subseteq {\mathsf {PCP}}[n^{3},1]} ⁠ is given in one of the lectures of Dexter Kozen. The PCP theorem is the culmination of a long line of work on interactive

Ruy de Queiroz (1,250 words) [view diff] exact match in snippet view article find links to article

computer scientists such as John Baldwin, Sergei N. Artemov, Bruno Poizat, Dexter Kozen, Angus Macintyre, Grigori Mints, Wilfrid Hodges, Anuj Dawar, Hiroakira

Quasiregular element (1,658 words) [view diff] exact match in snippet view article find links to article

ordered algebraic structures. Elsevier. p. 141. ISBN 978-0-08-086773-1. Dexter Kozen (1992). The Design and Analysis of Algorithms. Springer Science & Business

Set constraint (919 words) [view diff] exact match in snippet view article find links to article

(1994). "Set Constraints and Logic Programming". CCL. LNCS. Vol. 845. Dexter Kozen (1998). "Set Constraints and Logic Programming". Information and Computation

Interactive proof system (2,746 words) [view diff] exact match in snippet view article find links to article

Section 19.2: Games against nature and interactive protocols, pp. 469–480. Dexter Kozen. Interactive Proofs. CS682 Spring 2004 lecture notes. Department of Computer

Two-way finite automaton (1,619 words) [view diff] exact match in snippet view article find links to article

has been taken from lecture notes of CS682 (Theory of Computation) by Dexter Kozen of Stanford University Kapoutsis, Christos (2005). "Removing Bidirectionality

Language-based security (2,108 words) [view diff] exact match in snippet view article find links to article

2008 Brian Chess and Gary McGraw, Static Analysis for Security, 2004. Dexter Kozen, Language Based Security, Cornell University, 1999 Pieter Agten et al

Dynamic epistemic logic (8,001 words) [view diff] exact match in snippet view article find links to article

doi:10.1007/978-3-319-16694-0. ISBN 978-3-319-16693-3. David Harel; Dexter Kozen; Jerzy Tiuryn (2000). Dynamic Logic. MIT Press. ISBN 978-0262082891.