Searching for authors named "John Tromp" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
Binary Lambda Calculus and Combinatory Logic.” Sep 14, 2004. http://homepages. cwi.nl/ ∼ tromp/cl/LC.pdf [64] Tadaki, K. “Upper bound by Kolmogorov complexity for the probability
- …Binary Lambda Calculus and Combinatory Logic John Tromp February 9, 2007 Abstract In the first…
- Cited by 3 (0 self) – Add To MetaCart
-
Kolmogorov Complexity in Combinatory Logic
- …Kolmogorov Complexity in Combinatory Logic John Tromp September 1, 1999 Abstract Intuitively…
- Cited by 1 (0 self) – Add To MetaCart
-
Randomized Two-Process Wait-Free Test-and-Set
- …1 Randomized Two-Process Wait-Free Test-and-Set John Tromp and Paul Vitanyi Abstract|We present…
- Add To MetaCart
-
Cellular gravity
- … Gravity Frédéric Gruau John Tromp CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands We consider…
- Cited by 1 (1 self) – Add To MetaCart
-
Time and Space Bounds for Reversible Simulation
- …Time and Space Bounds for Reversible Simulation Harry Buhrman CWI John Tromp y CWI Paul Vit…
- Cited by 12 (0 self) – Add To MetaCart
-
Binary Snapshots
- …-Henk Hoepman jhh@(email omitted); John Tromp tromp@(email omitted); CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands Abstract…
- Cited by 5 (0 self) – Add To MetaCart
-
Ladders are PSPACE-complete
- …Ladders are PSPACE-complete Marcel Cr^asmaru 1 and John Tromp 2 1 Department of Mathematical…
- Cited by 4 (1 self) – Add To MetaCart
-
Combinatorics of Go
- … Combinatorics of Go John Tromp Gunnar Farneb"ack October 21, 2007 Abstract We present several…
- Add To MetaCart
-
Kolmogorov Complexity in Combinatory Logic
- …Kolmogorov Complexity in Combinatory Logic John Tromp March 17, 2002 Abstract Intuitively…
- Add To MetaCart
-
Towards an Algorithmic Statistics (Extended Abstract)
- …Towards an Algorithmic Statistics (Extended Abstract) Peter G'acs ? , John Tromp, and Paul Vit…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
