The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Beeson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Beeson
    Automatic Generation of Epsilon-Delta Proofs of Continuity. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:67-83 [Conf]
  2. Michael Beeson, Freek Wiedijk
    The Meaning of Infinity in Calculus and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:246-258 [Conf]
  3. Michael Beeson
    A Second-Order Theorem Prover Applied to Circumscription. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:318-324 [Conf]
  4. Michael Beeson
    Lambda Logic. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:460-474 [Conf]
  5. Michael Beeson
    Unification in Lambda-Calculi with if-then-else. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:103-118 [Conf]
  6. Michael Beeson
    Some Applications of Gentzen's Proof Theory in Automated Deduction. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:101-156 [Conf]
  7. Michael Beeson
    Mathpert: Computer Support for Learning Algebra, Trig, and Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:454-456 [Conf]
  8. Michael Beeson, William McCune
    Otter/Ivy. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:36-40 [Conf]
  9. Michael Beeson, Robert Veroff, Larry Wos
    Double-Negation Elimination in Some Propositional Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  10. Michael Beeson
    Automatic derivation of the irrationality of e. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  11. Michael Beeson
    Using Nonstandard Analysis to Ensure the Correctness of Symbolic Computations. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1995, v:6, n:3, pp:299-338 [Journal]
  12. Michael Beeson
    Mathematical Induction in Otter-Lambda. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:4, pp:311-344 [Journal]
  13. Michael Beeson
    Automatic Derivation of the Irrationality of e. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:4, pp:333-349 [Journal]
  14. Michael Beeson, Freek Wiedijk
    The meaning of infinity in calculus and computer algebra systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:39, n:5, pp:523-538 [Journal]
  15. Michael Beeson
    The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:321-346 [Journal]
  16. Michael Beeson
    The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:1, pp:18-24 [Journal]
  17. Michael Beeson
    Derived Rules of Inference Related to the Continuity of Effective Operations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:328-336 [Journal]
  18. Michael Beeson
    A Type-Free Godel Interpretation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:2, pp:213-227 [Journal]
  19. Michael Beeson
    Some Relations Between Classical and Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:2, pp:228-246 [Journal]
  20. Michael Beeson, Andre Scedrov
    Church's Thesis, Continuity, and Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:2, pp:630-643 [Journal]
  21. Michael Beeson, Robert Veroff, Larry Wos
    Double-Negation Elimination in Some Propositional Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:195-234 [Journal]
  22. Michael Beeson
    Towards a Computation System Based on Set Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:60, n:, pp:297-340 [Journal]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002