Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/corr/corr9301.bht:"
@article{DBLP:journals/corr/cs-LO-9301101, author = {Lawrence C. Paulson}, title = {Verifying the Unification Algorithm in {LCF}}, journal = {CoRR}, volume = {cs.LO/9301101}, year = {1993}, url = {https://arxiv.org/abs/cs/9301101}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301101.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301102, author = {Lawrence C. Paulson}, title = {Constructing Recursion Operators in Intuitionistic Type Theory}, journal = {CoRR}, volume = {cs.LO/9301102}, year = {1993}, url = {https://arxiv.org/abs/cs/9301102}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301102.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301103, author = {Lawrence C. Paulson}, title = {Proving Termination of Normalization Functions for Conditional Expressions}, journal = {CoRR}, volume = {cs.LO/9301103}, year = {1993}, url = {https://arxiv.org/abs/cs/9301103}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301103.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301104, author = {Lawrence C. Paulson}, title = {Natural Deduction as Higher-Order Resolution}, journal = {CoRR}, volume = {cs.LO/9301104}, year = {1993}, url = {https://arxiv.org/abs/cs/9301104}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301104.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301105, author = {Lawrence C. Paulson}, title = {The Foundation of a Generic Theorem Prover}, journal = {CoRR}, volume = {cs.LO/9301105}, year = {1993}, url = {https://arxiv.org/abs/cs/9301105}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301105.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301106, author = {Lawrence C. Paulson}, title = {Isabelle: The Next 700 Theorem Provers}, journal = {CoRR}, volume = {cs.LO/9301106}, year = {1993}, url = {https://arxiv.org/abs/cs/9301106}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301106.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301107, author = {Lawrence C. Paulson}, title = {A Formulation of the Simple Theory of Types (for Isabelle)}, journal = {CoRR}, volume = {cs.LO/9301107}, year = {1993}, url = {https://arxiv.org/abs/cs/9301107}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301107.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301108, author = {Lawrence C. Paulson}, title = {A Higher-Order Implementation of Rewriting}, journal = {CoRR}, volume = {cs.LO/9301108}, year = {1993}, url = {https://arxiv.org/abs/cs/9301108}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301108.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301109, author = {Lawrence C. Paulson and Andrew W. Smith}, title = {Logic Programming, Functional Programming, and Inductive Definitions}, journal = {CoRR}, volume = {cs.LO/9301109}, year = {1993}, url = {https://arxiv.org/abs/cs/9301109}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301109.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9301110, author = {Lawrence C. Paulson}, title = {Designing a Theorem Prover}, journal = {CoRR}, volume = {cs.LO/9301110}, year = {1993}, url = {https://arxiv.org/abs/cs/9301110}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9301110.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.