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 | |
Trace: