Lawrence C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Predicate Logic with Sequence Variables and Sequence.. - Kutsia, Buchberger (2004) (Correct)
No context found.
L. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Algorithm-Supported Mathematical Theory Exploration: A Personal .. - Buchberger (2004) (Correct)
No context found.
L. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Predicate Logic with Sequence Variables and Sequence.. - Kutsia, Buchberger (2004) (Correct)
No context found.
L. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Solving Equations Involving Sequence Variables and Sequence.. - Kutsia (2004) (1 citation) (Correct)
No context found.
L. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Unification Procedure for Terms with Sequence Variables and.. - Kutsia, Marin (Correct)
No context found.
L. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Solving Equations Involving Sequence Variables and Sequence.. - Kutsia (2004) (1 citation) (Correct)
No context found.
L. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Algebraic Process Verification - Groote, Reniers (5 citations) (Correct)
No context found.
L.C. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) (Correct)
No context found.
L. C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Higher-Order Narrowing with Convergent - Systems Christian Prehofer (1995) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--385. Academic Press, 1990.
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Languages of the Future - Sheard (2004) (3 citations) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
A Monad for Basic Java Semantics - Jacobs, Poll (2000) (3 citations) (Correct)
No context found.
L.C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and computer science, pages 361-386. Academic Press, London, 1990. The APIC series, vol. 31.
A Proof Markup Language for Semantic Web Services - Silva, McGuinness, Fikes (2004) (2 citations) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Unknown - (Correct)
No context found.
Lawrence C. Paulson. Isabelle: The next 700 theorem provers. In Piergiorgio Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Combinable Proof Fragments for the Web - Silva, McGuinness, Fikes (2003) (2 citations) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Coalgebras and Monads in the Semantics of Java - Jacobs, Poll (2002) (Correct)
No context found.
L.C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and computer science, pages 361--386. Academic Press, London, 1990. The APIC series, vol. 31.
Combinable Proof Fragments for the Web - Silva, McGuinness, Fikes (2003) (2 citations) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
A Proof Search Specification of the π-Calculus - Tiu, Miller (Correct)
No context found.
L. C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Combining Programming Languages and Logical Reasoning Systems.. - Sheard (Correct)
No context found.
Lawrence C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
A Proof Markup Language for Semantic Web Services - Silva, McGuinness, Fikes (2004) (2 citations) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Solving Equations Involving Sequence Variables and Sequence.. - Kutsia (2004) (1 citation) (Correct)
No context found.
L. Paulson. Isabelle: the next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Formalizing Integration Theory, with an Application to.. - Richter (2003) (Correct)
No context found.
Lawrence C. Paulson. Isabelle: The next 700 theorem provers. In Piergiorgio Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990. Available on the web as http://www.cl.cam.ac.uk/Research/Reports/TR143-lcp-experience.pdf.
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) (Correct)
No context found.
L. C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
Dialogue Systems as Proof Editors - Ranta, Cooper (2001) (Correct)
No context found.
L. C. Paulson. Isabelle: The next 700 theorem provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361--386. Academic Press, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC