sign in · help · news · about ·

BibSonomy :: author :: Paulson ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(315)

<< < 1 | 2 | 3 > >>

High throughput non-contact SiP testing.
Brian Moore, Chris Sellathamby, Philippe Cauvet, Hérvé Fleury, M. Paulson, Md. Mahbub Reja, Lin Fu, Brenda Bai, Edwin Walter Reid, Igor M. Filanovsky, and Steven Slupsky ITC, page 1-10. IEEE, (2007)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Proving Security Protocols Correct.
Lawrence C. Paulson LICS, page 370-381. IEEE Computer Society, (1999)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Long-term global and regional brain volume changes following severe traumatic brain injury: A longitudinal study with clinical correlates.
Annette Sidaros, Arnold Skimminge, Matthew G. Liptrot, Karam Sidaros, Aase W. Engberg, Margrethe Herning, Olaf B. Paulson, Terry L. Jernigan, and Egill Rostrup NeuroImage 44(1):1-8 (2009)
to dblp by dblp on Jan 13, 2012, 12:00 AM
URL | BibTeX
Processing English with a Generalized Phrase Structure Grammar.
Jean Mark Gawron, Jonathan King, John Lamping, Egon Loebner, E. Anne Paulson, Geoffrey K. Pullum, Ivan A. Sag, and Thomas Wasow ACL, page 74-81. ACL, (1982)
to dblp by dblp and 1 other user on Jan 1, 2012, 12:00 AM
URL | BibTeX
Measuring the Structural Preservation of Semantic Hierarchy Alignments
Cliff A. Joslyn, Patrick Paulson, and Amanda White Proceedings of the 4th International Workshop on Ontology Matching, 551, page 61--72. http://ceur-ws.org, CEUR Workshop Proceedings, (October 2009)
by gergie on Dec 12, 2011, 7:01 PM
BibTeX
Natural Deduction as Higher-Order Resolution
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Set Theory for Verification: I. From Foundations to Functions
Lawrence C. Paulson CoRR (1993)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Mechanizing Coinduction and Corecursion in Higher-order Logic
Lawrence C. Paulson CoRR (1997)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Quantified Multimodal Logics in Simple Type Theory
Christoph Benzmüller, and Lawrence C. Paulson CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Constructing Recursion Operators in Intuitionistic Type Theory
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Designing a Theorem Prover
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Generic Automatic Proof Tools
Lawrence C. Paulson CoRR (1997)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Logic Programming, Functional Programming, and Inductive Definitions
Lawrence C. Paulson, and Andrew W. Smith CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Verifying the Unification Algorithm in LCF
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Formulation of the Simple Theory of Types for Isabelle
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Foundation of a Generic Theorem Prover
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice.
Lawrence C. Paulson, and Krzysztof Grabczewski CoRR (1996)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Higher-Order Implementation of Rewriting
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Proving Termination of Normalization Functions for Conditional Expressions
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Isabelle: The Next 700 Theorem Provers
Lawrence C. Paulson CoRR (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100