| Searching for PHRASE michael mcrobbie. |
20 citations found. Retrieving citations...
Context Doc 5 (0): B. Beckert, R. Hahnle, P. Oel, and M. Sulzmann. The tableau-based theorem prover 3 T A P , version 4.0. In Michael McRobbie, editor, Proc. 13th CADE, New Brunswick/NJ, USA, LNCS 1104, pages 303-307. Springer, 1996. for the newest version of 3 T A P , see the URL: http://i12www.ira.uka.de/~threetap/.
| Looking for an author? You may be seeing only a fraction of all citations. Try: michael w/2 mcrobbie or m w/2 mcrobbie (w/2 means within 2 words) |
Context Doc 2 (0): Gernot Salzer. Optimal axiomatizations for multiple-valued operators and quantifiers based on semilattices. In Michael McRobbie and John Slaney, editors, Proc. 13th Conference on Automated Deduction, New Brunswick/NJ, USA, volume 1104 of Lecture Notes in Computer Science, pages 688--702. Springer-Verlag, 1996.
Context Doc 2 (2): Heribert Schutz and Tim Geisler. Efficient model generation through compilation. In Michael McRobbie and John Slaney, editors, 13th Int. Conf. on Automated Deduction (CADE), number 1104 in Springer LNAI, pages 433--447. Springer-Verlag, 1996.
Context Doc 1 (0): Jian Zhang and Hantao Zhang. Generating models by SEM. In Michael McRobbie and John Slaney, editors, Proc. 13th CADE, New Brunswick/NJ, USA, volume 1104 of LNCS, pages 309-327. Springer-Verlag, 1996.
Context Doc 1 (0): Martin Protzen. Patching faulty conjectures. In Michael McRobbie and John Slaney, editors, Proc. 13th CADE, New Brunswick/NJ, USA, volume 1104 of LNCS, pages 77-91. Springer-Verlag, 1996.
Context Doc 1 (0): PAUL THISTLEWAITE, MICHAEL MCROBBIE, AND ROBERT K. MEYER. Automated Theorem Proving in Non-Classical Logics. Wiley, New York, 1988.
Context Doc 1 (0): Dieter Hutter and Claus Sengler. INKA: The next generation. In Michael McRobbie, editor, Proc. 13th CADE, New Brunswick/NJ, USA, LNCS 1104, pages 288{
Context Doc 1 (0): F. Giunchiglia and R. Sebastiani. Building decision procedures for modal logics from propositional decision procedures---the case study of modal K. In Michael McRobbie and John Slaney, editors, Proceedings of the Thirteenth International Conference on Automated Deduction (CADE13) , number 1104 in Lecture Notes in Artificial Intelligence, pages 583--597. Springer, 1996.
Context Doc 1 (1): Tobias Nipkow. More Church-Rosser proofs (in Isabelle/HOL). In Michael McRobbie and John K. Slaney, editors, Automated Deduction --- CADE-13 International Conference, LNAI 1104, pages 733--747. Springer, 1996.
Context Doc 0 (1): Maxine Brown, Thomas DeFanti, Michael McRobbie, Alan Verlo, Dana Plepys, Donald McMullen, Karen Adams, Jason Leigh, Andrew Johnson, Ian Foster, Carl Kesselman, Andrew Schmidt, Steven Goldstein: The International Grid (iGrid): Empowering Global Research Community Networking Using High Performance International Internet Services. Proceedings of INET '99, 1999, pp. 3-9.
The numbers before each article are the number of citations (excluding self-citations), and the predicted number of self-citations. 20 citations were found, of which 4 were predicted to be self-citations. Self-citations are not included in the graph.
Try your query at: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC