On decidability of the decomposability problem for finite theories.
| Autor: | Morozov, A. S.1 morozov@math.nsc.ru, Ponomaryov, D. K.2 ponom@iis.nsk.su |
|---|---|
| Zdroj: | Siberian Mathematical Journal. Jul2010, Vol. 51 Issue 4, p667-674. 8p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|