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:
