Παρακολούθηση
Haim Gaifman
Haim Gaifman
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα columbia.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
On categorial and phrase-structure grammars
Y Bar-Hillel, H Gaifman, E Shamir
The Bulletin of the Research Council of Israel, 9, 1-6, 1960
2395*1960
Dependency systems and phrase-structure systems
H Gaifman
Information and control 8 (3), 304-337, 1965
5341965
On local and non-local properties
H Gaifman
Proceedings of the herbrand symposium, logic colloquium 81, 105-135, 1982
4841982
Concerning measures in first order calculi
H Gaifman
Israel journal of mathematics 2 (1), 1-18, 1964
4251964
Probabilities over rich languages, testing and randomness
H Gaifman, M Snir
The Journal of Symbolic Logic 47 (3), 495-548, 1982
2771982
A Theory of Higher Order Probabilities
H Gaifman
Causation, Chance and Credence (The University of Western Ontario Series in …, 1988
2701988
Decidable optimization problems for database logic programs
S Cosmadakis, H Gaifman, P Kanellakis, M Vardi
Proceedings of the twentieth annual ACM symposium on Theory of computing …, 1988
2161988
Undecidable optimization problems for database logic programs
H Gaifman, H Mairson, Y Sagiv, MY Vardi
Journal of the ACM (JACM) 40 (3), 683-713, 1993
2011993
Pointers to Truth
H Gaifman
The Journal of Philosophy 89 (5), 223-261, 1992
1491992
Fragments of Peano’s arithmetic and the MRDP theorem
H Gaifman, C Dimitracopoulos
Logic and algorithmic (Zurich, 1980),(Monograph. Enseign. Math., 30), 187-206, 1982
1361982
Fully abstract compositional semantics for logic programs
H Gaifman, E Shapiro
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
1351989
Models and types of Peano's arithmetic
H Gaifman
Annals of Mathematical Logic 9 (3), 223-306, 1976
1231976
Partial order models of concurrency and the computation of functions
H Gaifman, VR Pratt
LICS, 72-85, 1987
1011987
Concerning measures on Boolean algebras
H Gaifman
Pacific Journal of Mathematics 14, 61-73, 1964
831964
A note on models and submodels of arithmetic
H Gaifman
Conference in Mathematical Logic, London 1970 Hodges W. ed, Lecture Notes in …, 1972
80*1972
Vagueness, Tolerance and Contextual logic
H Gaifman
Synthese 174 (1), 5-46, 2010
772010
Reasoning with limited resources and assigning probabilities to arithmetical statements
H Gaifman
Synthese 140 (1), 97-119, 2004
712004
Naming and diagonalization, from Cantor to Gödel to Kleene
H Gaifman
Logic Journal of IGPL 14 (5), 709-728, 2006
582006
Operational pointer semantics: Solution to self-referential puzzles I
H Gaifman
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about …, 1988
581988
Elementary embeddings of models of set-theory and certain subtheories
H Gaifman
Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part II, Univ …, 1974
571974
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20