sign in · help · news · about ·

BibSonomy :: author :: Gaifman ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(23)

<< < 1 | 2 > >>

Undecidable Optimization Problems for Database Logic Programs.
Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, and Moshe Y. Vardi J. ACM 40(3):683-713 (1993)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
Proof Theory and Semantics of Logic Programs
Haim Gaifman, and Ehud Y. Shapiro LICS, page 50-62. IEEE Computer Society, (1989)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Decidable Optimization Problems for Database Logic Programs Preliminary Report
Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, and Moshe Y. Vardi STOC, page 477-490. ACM, (1988)
to dblp by dblp on Oct 17, 2011, 12:00 AM
URL | BibTeX
Concerning Two-Adjacent Context-Free Languages.
Elias Dahlhaus, and Haim Gaifman Theor. Comput. Sci. (1985)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Self-Reference and the Acyclicity of Rational Choice.
Haim Gaifman Ann. Pure Appl. Logic 96(1-3):117-140 (1999)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Erratum to: Vagueness, tolerance and contextual logic.
Haim Gaifman Synthese 179(3):501-502 (2011)
to dblp by dblp on Mar 30, 2011, 12:00 AM
URL | BibTeX
Vagueness, tolerance and contextual logic.
Haim Gaifman Synthese 174(1):5-46 (2010)
to dblp by dblp on Dec 3, 2010, 12:00 AM
URL | BibTeX
Dependency systems and phrase-structure systems
Haim Gaifman Information and Control 8(3):304-337 (1965)
to dependency by yfpeng and 2 other users on Nov 8, 2010, 3:06 PM
BibTeX
Fully Abstract Compositional Semantics for Logic Programs.
Haim Gaifman, and Ehud Y. Shapiro POPL, page 134-142. (1989)
to dblp by dblp on Jan 28, 2010, 12:00 AM
URL | BibTeX
Modeling concurrency by partial orders and nonlinear transition systems.
Haim Gaifman REX Workshop, volume 354 of Lecture Notes in Computer Science, page 467-488. Springer, (1988)
to dblp by dblp on Oct 8, 2009, 12:00 AM
URL | BibTeX
Dependency Systems and Phrase-Structure Systems
H. Gaifman Information and Control (1965)
to DG grammar by diego_ma and 2 other users on Dec 14, 2007, 2:39 AM
BibTeX
Naming and Diagonalization, from Cantor to Gödel to Kleene.
Haim Gaifman Logic Journal of the IGPL 14(5):709-728 (2006)
to dblp by dblp on Jan 29, 2007, 12:00 AM
URL | BibTeX
Dependency Systems and Phrase-Structure Systems
Haim Gaifman Information and Control 8(3):304-337 (June 1965)
to dblp by dblp and 2 other users on Apr 25, 2006, 12:00 AM
URL | BibTeX
Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975.
Haim Gaifman, Azriel Levy, and Gert H. Muller J. Symb. Log. 42(1):140-142 (1977)
to dblp by dblp on Nov 20, 2003, 12:00 AM
URL | BibTeX
Probabilities Over Rich Languages, Testing and Randomness.
Haim Gaifman, and Marc Snir J. Symb. Log. 47(3):495-548 (1982)
to dblp by dblp on Nov 20, 2003, 12:00 AM
URL | BibTeX
A simple proof that connectivity of finite graphs is not first-order definable.
Haim Gaifman, and Moshe Y. Vardi Bulletin of the EATCS (1985)
to dblp by dblp on Jul 15, 2003, 12:00 AM
URL | BibTeX
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
Haim Gaifman, Michael J. Maher, and Ehud Y. Shapiro PODC, page 241-255. (1991)
to dblp by dblp on Dec 4, 2002, 12:00 AM
URL | BibTeX
Operational Pointer Semantics: Solution to Self-Referential Puzzles I.
Haim Gaifman TARK, page 43-59. Morgan Kaufmann, (1988)
to dblp by dblp on Mar 7, 2002, 12:00 AM
URL | BibTeX
A Theory of Higher Order Probabilities.
Haim Gaifman TARK, page 275-292. Morgan Kaufmann, (1986)
to dblp by dblp on Mar 5, 2002, 12:00 AM
URL | BibTeX
Semantics of Logic Programs.
Haim Gaifman ICLP, page 779-782. (1990)
to dblp by dblp on Jan 3, 2002, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper