MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Haim Gaifman – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Naming and Diagonalization, from Cantor to Gödel to Kleene
by Haim Gaifman — 2006 — in Logic Journal of the IGPL, 22 pages, and on Gaifman’s website
…Naming and Diagonalization, from Cantor to Gödel to Kleene Haim Gaifman Gödel’s incompleteness…
Cited by 2 (1 self) – Add To MetaCart

Vagueness, tolerance and contextual logic
by Haim Gaifman — 2002
…Vagueness, Tolerance and Contextual Logic * Haim Gaifman The goal of this paper is a comprehensive…
Cited by 1 (0 self) – Add To MetaCart

A theory of higher order probabilities
by Haim Gaifman — 1986 — Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference
…A THEORY OF HIGHER ORDER PROBABILITIES Haim Gaifman Mathematics Department The Hebrew University…
Cited by 17 (0 self) – Add To MetaCart

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs
by Haim Gaifman, Michael J. Maher, Ehud Shapiro — 1990 — In ACM Symposium on Principles of Distributed Computing
… Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs Haim Gaifman…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB