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"]
Edit conflict - other version:
latex2($$\phi (z) = \oint_\gamma \frac{f'(z)}{f(z)}dz$$)
Edit conflict - your version:
latex2($$\phi (z)=\oint_\gamma \frac{f'(z)}{f(z)}dz$$)
End of edit conflict