Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundamenta Informaticae, 150(1):49-71, 2017. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Herbrand-satisfiability of a Quantified Set-theoretic FragmentDomenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. FUIN, 150(1):49-71, 2017. [doi] Herbrand-Satisfiability of a Quantified Set-theoretical FragmentDomenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. cilc 2014: 162-177 [doi]
The following publications are possibly variants of this publication: