Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi
| Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi |
| Autore | Andréka H. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina |
510 s
511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Relation algebras
Decidability (Mathematical logic) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0189-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""Introduction""; ""Chapter I. Preliminaries""; ""Chapter II. Undecidability""; ""Chapter III. A lattice embedding that preserves decidability and undecidability""; ""Chapter IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory""; ""Bibliography""; ""Index of symbols""; ""Index of names and subjects"" |
| Record Nr. | UNINA-9910479975003321 |
Andréka H.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi
| Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi |
| Autore | Andréka H. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina |
510 s
511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Relation algebras
Decidability (Mathematical logic) |
| ISBN | 1-4704-0189-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""Introduction""; ""Chapter I. Preliminaries""; ""Chapter II. Undecidability""; ""Chapter III. A lattice embedding that preserves decidability and undecidability""; ""Chapter IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory""; ""Bibliography""; ""Index of symbols""; ""Index of names and subjects"" |
| Record Nr. | UNINA-9910788732103321 |
|
Andréka H.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi
| Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi |
| Autore | Andréka H. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina |
510 s
511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Relation algebras
Decidability (Mathematical logic) |
| ISBN | 1-4704-0189-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""Introduction""; ""Chapter I. Preliminaries""; ""Chapter II. Undecidability""; ""Chapter III. A lattice embedding that preserves decidability and undecidability""; ""Chapter IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory""; ""Bibliography""; ""Index of symbols""; ""Index of names and subjects"" |
| Record Nr. | UNINA-9910812408003321 |
|
Andréka H.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||