Back to Results
First PageMeta Content
Algebraic logic / Fuzzy logic / Logic in computer science / Algebraic structures / Electronic design automation / Satisfiability Modulo Theories / MV-algebra / Boolean satisfiability problem / Propositional variable / Mathematics / Mathematical logic / Logic


Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University
Add to Reading List

Document Date: 2013-09-06 00:51:19


Open Document

File Size: 209,61 KB

Share Result on Facebook
UPDATE