19992022

Research activity per year

Fingerprint

Dive into the research topics where Joe Wells is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories

    Dunne, C. & Wells, J., 17 Sept 2022, Intelligent Computer Mathematics: 15th International Conference, CICM 2022; Tbilisi, Georgia, September 19–23, 2022; Proceedings. Buzzard, K. & Kutsia, T. (eds.). Springer, p. 38-55 (Lecture Notes in Computer Science; vol. 13467).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    31 Downloads (Pure)
  • Generating Custom Set Theories with Non-set Structured Objects

    Dunne, C., Wells, J. B. & Kamareddine, F., 2021, Intelligent Computer Mathematics. CICM 2021. Kamareddine, F. & Sacerdoti Coen, C. (eds.). Springer, p. 228-244 17 p. (Lecture Notes in Computer Science; vol. 12833).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    196 Downloads (Pure)
  • Adding an Abstraction Barrier to ZF Set Theory

    Dunne, C., Wells, J. B. & Kamareddine, F., 2020, Intelligent Computer Mathematics. CICM 2020. Benzmüller, C. & Miller, B. (eds.). Springer, p. 89-104 16 p. (Lecture Notes in Computer Science; vol. 12236).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    120 Downloads (Pure)
  • BNF-Style Notation as It Is Actually Used

    Quinlan, D., Wells, J. B. & Kamareddine, F., 3 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings: CICM 2019. Kaliszyk, C., Brady, E., Kohlhase, A. & Sacerdoti Coen, C. (eds.). Springer, p. 187-204 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11617 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    2 Citations (Scopus)
    1812 Downloads (Pure)
  • Proof-carrying plans

    Schwaab, C., Komendantskaya, E., Hill, A., Farka, F., Petrick, R. P. A., Wells, J. & Hammond, K., 2019, Practical Aspects of Declarative Languages: PADL 2019. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 204-220 17 p. (Lecture Notes in Computer Science; vol. 11372).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    4 Citations (Scopus)
    50 Downloads (Pure)