383
Comment:
|
388
|
Deletions are marked like this. | Additions are marked like this. |
Line 8: | Line 8: |
\error | Hello there |
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"]
Hello there
Hello