Differences

This shows you the differences between two versions of the page.

fl-algebras [2010/09/04 16:55]
jipsen delete hyperbaseurl
fl-algebras [2012/07/18 23:27] (current)
jipsen
Line 25: Line 25:
====Properties==== ====Properties====
^[[Classtype]]  |variety | ^[[Classtype]]  |variety |
-Equational theory & decidable [(OK1985)] +^[[Equational theory]]  |decidable [(OK1985)] |
-\\\hline+
^[[Quasiequational theory]]  |undecidable | ^[[Quasiequational theory]]  |undecidable |
^[[First-order theory]]  |undecidable | ^[[First-order theory]]  |undecidable |