Source: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ;

Record details

Read More Add to Saved list

Conference

Run-Based Semantics for RPQs

Authors : David, Claire; Francis, Nadime; Marsault, Victor ...

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Rhodes; Greece

Source: 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23)https://hal.science/hal-0388218720th International Conference on

Record details

Read More Add to Saved list

Conference

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

Authors : Bartzia, Evmorfia; Meyer, Antoine; Narboux, Julien ...

Subjects: Teaching and learning of logic; reasoning and proof; Digital and other resources in university mathematics educationHanovre; Germany

Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth

Record details

Read More Add to Saved list

Conference

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

Authors : Bartzia, Evmorfia; Meyer, Antoine; Narboux, Julien ...

Subjects: Teaching and learning of logic; reasoning and proof; Digital and other resources in university mathematics educationHanovre; Germany

Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth

Record details

Read More Add to Saved list

Conference

Revisiting Semiring Provenance for Datalog

Authors : Bourgaux, Camille; Bourhis, Pierre; Peterfreund, Liat ...

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Haifa; Israel

Source: KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning ; https://hal.science/hal-03771031 ; KR 2022 - 19th International

Record details

Read More Add to Saved list

Report

Lebesgue Induction and Tonelli's Theorem in Coq ; Induction de Lebesgue et théorème de Tonelli en Coq

Authors : Boldo, Sylvie; Clément, François; Martin, Vincent ...

Subjects: Formal proof; Coq; Measure theory

Source: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17.

Record details

Read More Add to Saved list

Academic Journal

The combinator M and the Mockingbird lattice

Authors : Giraudo, Samuele;

Subjects: Partial orders; Lattices; Combinatory logic

Source: ISSN: 0960-1295.

Record details

Read More Add to Saved list

Academic Journal

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

Authors : Boldo, Sylvie; Clément, François; Faissole, Florian ...

Subjects: formal proof; Coq; measure theory

Source: ISSN: 0168-7433.

Record details

Read More Add to Saved list

Book

Higher-order recursion schemes and their automata models

Authors : Carayol, Arnaud; Serre, Olivier;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Source: Handbook of Automata Theory ; https://hal.science/hal-03176662 ; Jean-Éric Pin. Handbook of Automata Theory, 2, European Mathematical Society, pp.1295-1341, 2021,

Record details

Read More Add to Saved list