Výsledky vyhľadávania - "CCS Concepts: Theory of computation → Logic and verification"

  • Zobrazené výsledky 1 - 3 z 3
Upresniť hľadanie
  1. 1

    Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting

    Autori: Michael Färber Färber, Michael

    Prispievatelia: Michael Färber Färber, Michael

    Zdroj: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. :225-238

    Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], reduction, Automated reasoning, 0102 computer and information sciences, Higher order logic concurrency, 01 natural sciences, Dedukti, rewriting, Logic in Computer Science (cs.LO), sharing, type checking, Rust, concurrency, Interactive proof systems, 0101 mathematics, verification, performance, Equational logic and rewriting, CCS Concepts: • Theory of computation → Logic and verification

    Popis súboru: application/pdf

    Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3497775.3503683
    http://arxiv.org/abs/2102.08766
    https://inria.hal.science/hal-03143359v3
    https://doi.org/10.1145/3497775.3503683
    https://inria.hal.science/hal-03143359v3/document

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  2. 2

    A Formalization of Complete Discrete Valuation Rings and Local Fields

    Autori: de Frutos-Fernández, María Inés Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo Universidad Autónoma de Madrid (UAM) a ďalší

    Prispievatelia: de Frutos-Fernández, María Inés Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo Universidad Autónoma de Madrid (UAM) a ďalší

    Zdroj: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)
    https://ujm.hal.science/ujm-04222610
    13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), Jan 2024, London, United Kingdom. pp.190-204, ⟨10.1145/3636501.3636942⟩
    https://popl24.sigplan.org/home/CPP-2024

    Predmety: Logic and verification, Proof theory formal mathematics, Lean, mathlib, algebraic number theory, local fields, discrete valuation rings, Theory of computation, CCS Concepts: Theory of computation → Logic and verification, Proof theory formal mathematics Lean mathlib algebraic number theory local fields discrete valuation rings, CCS Concepts, Theory of computation → Logic and verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

    Geografické téma: London, United Kingdom

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2310.01998; ARXIV: 2310.01998

    Dostupnosť: https://ujm.hal.science/ujm-04222610
    https://ujm.hal.science/ujm-04222610v3/document
    https://ujm.hal.science/ujm-04222610v3/file/deFrutosFerandez%26Nuccio-A%20Formalization%20of%20Complete%20DVR%20and%20Local%20Fields.pdf
    https://doi.org/10.1145/3636501.3636942

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  3. 3

    A Formalization of Complete Discrete Valuation Rings and Local Fields

    Autori: de Frutos-Fernández, María Inés Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo Autónoma University of Madrid a ďalší

    Prispievatelia: de Frutos-Fernández, María Inés Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo Autónoma University of Madrid a ďalší

    Zdroj: CPP 2024 ; https://ujm.hal.science/ujm-04222610 ; CPP 2024, Jan 2024, London, United Kingdom

    Predmety: Logic and verification, Proof theory formal mathematics, Lean, mathlib, algebraic number theory, local fields, discrete valuation rings, Theory of computation, CCS Concepts: Theory of computation → Logic and verification, Proof theory formal mathematics Lean mathlib algebraic number theory local fields discrete valuation rings, CCS Concepts, Theory of computation → Logic and verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

    Geografické téma: London, United Kingdom

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2310.01998; ujm-04222610; https://ujm.hal.science/ujm-04222610; https://ujm.hal.science/ujm-04222610/document; https://ujm.hal.science/ujm-04222610/file/CPP_paper.pdf; ARXIV: 2310.01998

    Dostupnosť: https://ujm.hal.science/ujm-04222610
    https://ujm.hal.science/ujm-04222610/document
    https://ujm.hal.science/ujm-04222610/file/CPP_paper.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených

Vyhľadávacie nástroje: