Book Sections
Year : 1999
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03208860
Submitted on : Monday, April 26, 2021-8:30:41 PM
Last modification on : Sunday, June 26, 2022-4:21:26 AM
Cite
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
15
View
0
Download