Julie Cailler

Orcid: 0000-0002-6665-8089

According to our database¹, Julie Cailler authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus.

[BibT_eX]

[DOI]

Julie Cailler

Simon Guilloud

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

A Generic Deskolemization Strategy.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic. (Conception d'un prouveur automatique de théorèmes concurrent basé sur la méthode des tableaux pour la logique du premier ordre).

[BibT_eX]

[DOI]

Julie Cailler

PhD thesis, 2023

2022

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).

[BibT_eX]

[DOI]