The SCEAS System
| |||||||

## Search the dblp DataBase
Michael Beeson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Michael Beeson
**Automatic Generation of Epsilon-Delta Proofs of Continuity.**[Citation Graph (0, 0)][DBLP] AISC, 1998, pp:67-83 [Conf] - 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] - Michael Beeson
**A Second-Order Theorem Prover Applied to Circumscription.**[Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:318-324 [Conf] - Michael Beeson
**Lambda Logic.**[Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:460-474 [Conf] - Michael Beeson
**Unification in Lambda-Calculi with if-then-else.**[Citation Graph (0, 0)][DBLP] CADE, 1998, pp:103-118 [Conf] - Michael Beeson
**Some Applications of Gentzen's Proof Theory in Automated Deduction.**[Citation Graph (0, 0)][DBLP] ELP, 1989, pp:101-156 [Conf] - Michael Beeson
**Mathpert: Computer Support for Learning Algebra, Trig, and Calculus.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:454-456 [Conf] - Michael Beeson, William McCune
**Otter/Ivy.**[Citation Graph (0, 0)][DBLP] The Seventeen Provers of the World, 2006, pp:36-40 [Conf] - 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] - 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] - 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] - Michael Beeson
**Mathematical Induction in Otter-Lambda.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:311-344 [Journal] - 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] - 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] - 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] - 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] - 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] - Michael Beeson
**A Type-Free Godel Interpretation.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1978, v:43, n:2, pp:213-227 [Journal] - 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] - 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] - 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] - 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 | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |