|
⇤ ← Revision 1 as of 2005-02-07 19:00:29
Size: 347
Comment:
|
Size: 353
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| 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. | 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. |
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"]