Urmăriți
Haim Gaifman
Titlu
Citat de
Citat de
Anul
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20