Diff for "ResearchPapers"

Differences between revisions 4 and 14 (spanning 10 versions)

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

-  ⇤ ← Revision 4 as of 2005-06-23 19:47:16 → 
  Size: 401
  Editor: yakko
  Comment:
+   ← Revision 14 as of 2005-06-23 21:34:06 → ⇥
  Size: 388
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 6:
-   *
-Line 9:
+Line 8:
-$\phi (x) = \frac{x}{x+1}$
+Hello there
-Line 11:
+Line 10:
+Hello