Diff for "ResearchPapers"

Differences between revisions 10 and 17 (spanning 7 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"]

\usepackage{graphics,color}
%%end-prologue%%
\newsavebox{\mysquare}
\savebox{\mysquare}{\textcolor{red}{\rule{1in}{1in} } }
\usebox{\mysquare}

Hello

-  ⇤ ← Revision 10 as of 2005-06-23 20:38:28 → 
  Size: 621
  Editor: yakko
  Comment:
+   ← Revision 17 as of 2005-06-23 21:35:18 → ⇥
  Size: 523
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 7:
+{{{#!latex2
\usepackage{graphics,color}
%%end-prologue%%
\newsavebox{\mysquare}
\savebox{\mysquare}{\textcolor{red}{\rule{1in}{1in} } }
\usebox{\mysquare}
}}}
-Line 8:
+Line 15:
----- /!\ '''Edit conflict - other version:''' ----
[[latex2($$\phi (z) = \oint_\gamma \frac{f'(z)}{f(z)}dz$$)]]

---- /!\ '''Edit conflict - your version:''' ----
[[latex2($$\phi (z)=\oint_\gamma \frac{f'(z)}{f(z)}dz$$)]]

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