Chapitre D'ouvrage
Année : 1999
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03208860
Soumis le : lundi 26 avril 2021-20:30:41
Dernière modification le : dimanche 26 juin 2022-04:21:26
Citer
Jean Goubault-Larrecq. A Simple Sequent System for First-Order Logic with Free Constructors. Proceedings of the 8th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX'99), 1617, Springer, pp.202-216, 1999, Lecture Notes in Artificial Intelligence, ⟨10.1007/3-540-48754-9_19⟩. ⟨hal-03208860⟩
Collections
16
Consultations
0
Téléchargements