Associate Professor
University of Lorraine, CNRS, Inria, LORIA, Nancy, France

HOME
RESEARCH
TEACHING
ACTIVITIES
TOOLS
MISCELLANEOUS
CONTACT

Post

A Generic Deskolemization Strategy

Posted May 30, 2024 Updated Jun 23, 2024

By

1 min read

This post is licensed under CC BY 4.0 by the author.

Share

Further Reading

Guiding Word Equation Solving using Graph Neural Networks

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

Interoperability of Proof systems with SC-TPTP (System Description)

Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs

Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs

© 2025 Julie Cailler.

Using the Jekyll theme Chirpy.

A new version of content is available.