Diff for "ResearchPapers"

Differences between revisions 9 and 10

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()

$/!\$ Edit conflict - your version:

latex2()

$/!\$ End of edit conflict

-  ⇤ ← Revision 9 as of 2005-06-23 20:37:32 → 
  Size: 410
  Editor: yakko
  Comment:
+   ← Revision 10 as of 2005-06-23 20:38:28 → ⇥
  Size: 621
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 7:
+---- /!\ '''Edit conflict - other version:''' ----
-Line 8:
+Line 10:
+---- /!\ '''Edit conflict - your version:''' ----
[[latex2()]]

---- /!\ '''End of edit conflict''' ----