Search Results - "Perini Brogi, Cosimo"

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants.

    Authors: Perini Brogi, Cosimo Maggesi, Marco

    Source: International Journal on Software Tools for Technology Transfer; Dec2025, Vol. 27 Issue 6, p623-640, 18p

    Save to List
  2. 2

    MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS.

    Authors: PERINI BROGI, COSIMO NEGRI, SARA OLIVETTI, NICOLA

    Source: Review of Symbolic Logic; Sep2025, Vol. 18 Issue 3, p704-743, 40p

    Save to List
  3. 3

    Universal algebra in UniMath.

    Authors: Amato, Gianluca Calosci, Matteo Maggesi, Marco et al.

    Source: Mathematical Structures in Computer Science; Sep2025, Vol. 34 Issue 7, p869-891, 23p

    PDF Full Text
    Save to List
  4. 4

    Mechanising Gödel–Löb Provability Logic in HOL Light.

    Authors: Maggesi, Marco Perini Brogi, Cosimo

    Source: Journal of Automated Reasoning; Sep2023, Vol. 67 Issue 3, p1-34, 34p

    Save to List
  5. 5

    Curry–Howard–Lambek Correspondence for Intuitionistic Belief.

    Authors: Perini Brogi, Cosimo1 (AUTHOR) perinibrogi@dima.unige.it

    Source: Studia Logica. Dec2021, Vol. 109 Issue 6, p1441-1461. 21p.

    PDF Full Text
    Save to List

Search Tools: