BibSonomy publications for /author/Gabbay http://www.bibsonomy.org/author/Gabbay BibSonomy RSS Feed for /author/Gabbay Connecting minds : CMC and scientific work http://www.bibsonomy.org/bibtex/26f2020f8401d0479bb982ae7eed8d8be/snauth snauth 2008-07-13T11:15:48+02:00 imported
Connecting minds : CMC and scientific work
John P. Walsh and Stephanie Kucker and Nancy Maloney and Shaul M. Gabbay Journal of the American Society for Information Science 51 1295–1305 (1999)
to imported by snauth on 2008-07-13 11:15:48
]]> One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. dblp http://www.bibsonomy.org/bibtex/2a8f215e0887c54a8bb16f77b8e581c3c/dblp dblp 2008-06-30T00:00:00+02:00 dblp
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.
Murdoch Gabbay and Dominic P. Mulligan WoLLIC 179-193 (2008)
to dblp by dblp on 2008-06-30 00:00:00
]]> Common Foundations for belief revision, belief merging and voting. dblp http://www.bibsonomy.org/bibtex/254eb43a2235609fe5ada555623dfa216/dblp dblp 2008-05-14T00:00:00+02:00 dblp
Common Foundations for belief revision, belief merging and voting.
Dov M. Gabbay and Gabriella Pigozzi and Odinaldo Rodrigues Formal Models of Belief Change in Rational Agents (2007)
to dblp by dblp on 2008-05-14 00:00:00
]]> Classical vs non-classical logics (the universality of classical logic). dblp http://www.bibsonomy.org/bibtex/2b4a12b9adf4ed31f83d2407810e8a3b0/dblp dblp 2008-05-06T00:00:00+02:00 dblp
Classical vs non-classical logics (the universality of classical logic).
Dov M. Gabbay Handbook of Logic in Artificial Intelligence and Logic Programming (2) 359-495 (1994)
to dblp by dblp on 2008-05-06 00:00:00
]]> Mathematical induction. dblp http://www.bibsonomy.org/bibtex/2b5ac457cad331164ffc82e7d34bc1b44/dblp dblp 2008-05-06T00:00:00+02:00 dblp
Mathematical induction.
Christoph Walther Handbook of Logic in Artificial Intelligence and Logic Programming (2) 127-228 (1994)
to dblp by dblp on 2008-05-06 00:00:00
]]> Meta-languages, reflection principles, and self-reference. dblp http://www.bibsonomy.org/bibtex/2533dc7f941b6868c173618669f3f071f/dblp dblp 2008-05-06T00:00:00+02:00 dblp
Meta-languages, reflection principles, and self-reference.
Donald Perlis and V. S. Subrahmanian Handbook of Logic in Artificial Intelligence and Logic Programming (2) 323-358 (1994)
to dblp by dblp on 2008-05-06 00:00:00
]]> Unification theory. dblp http://www.bibsonomy.org/bibtex/2d5c51097a6f397cfaac575e87177f5c7/dblp dblp 2008-05-06T00:00:00+02:00 dblp
Unification theory.
Franz Baader and Jörg H. Siekmann Handbook of Logic in Artificial Intelligence and Logic Programming (2) 41-126 (1994)
to dblp by dblp on 2008-05-06 00:00:00
]]> Logical basis for the automation of reasoning: Case studies. dblp http://www.bibsonomy.org/bibtex/226683ba9387ebb20066c93da9da58ef7/dblp dblp 2008-05-06T00:00:00+02:00 dblp
Logical basis for the automation of reasoning: Case studies.
Larry Wos and Robert Veroff Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1-40 (1994)
to dblp by dblp on 2008-05-06 00:00:00
]]> Higher order logic. dblp http://www.bibsonomy.org/bibtex/202815d001b9046749edbaf0b18ec4ce8/dblp dblp 2008-05-06T00:00:00+02:00 dblp
Higher order logic.
Daniel Leivant Handbook of Logic in Artificial Intelligence and Logic Programming (2) 229-322 (1994)
to dblp by dblp on 2008-05-06 00:00:00
]]> Perfect periodic correlation sequences http://www.bibsonomy.org/bibtex/2fc2a94c5d1796dc49d23e4ff9ec3ade4/smicha smicha 2008-04-23T22:05:04+02:00 Perfect correlation periodic sequence
Perfect periodic correlation sequences
Avraham Freedman and Nadav Levanon and Shimshon Gabbay Signal Processing 41 165--174 (1995)
to Perfect correlation periodic sequence by smicha on 2008-04-23 22:05:04
]]>