This page gives a list of research papers. Each paper should have its own page which should include the Subject, Date, title, notes, and BibTeX entry.
Subject: Boolean Algebras with Linear Cardinatlity Constraints
- ["Quantifier Elimination of First-Order Theory of Boolean Algebras with Linear Cardinatlity Constraints"]
\usepackage{graphics,color} %%end-prologue%% \newsavebox{\mysquare} \savebox{\mysquare}{\textcolor{red}{\rule{1in}{1in} } } \usebox{\mysquare}
Hello