Amanote Research
Register
Sign In
Basic Logic, SMT Solvers and Finitely Generated Varieties of GBL-algebras
doi 10.29007/nptc
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Peter Jipsen
Publisher
EasyChair