Diff for "ResearchPapers"

Differences between revisions 4 and 5

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"]

latex2($$\gamma$$)

-  ⇤ ← Revision 4 as of 2005-06-23 19:47:16 → 
  Size: 401
  Editor: yakko
  Comment:
+   ← Revision 5 as of 2005-06-23 19:52:09 → ⇥
  Size: 372
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 6:
-   *
-Line 8:
+Line 7:
-{{{#!latex2
$\phi (x) = \frac{x}{x+1}$
}}}
+[[latex2($$\gamma$$)]]