|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN00051578 |
|
|
Autore |
Andréka, Hajnal |
|
|
Titolo |
Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, R. I., : American Mathematical Society, 1997 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XIV, 126 p. : ill. ; 26 cm |
|
|
|
|
|
|
Altri autori (Persone) |
|
Givant, Steven R. |
Nemeti, Istvan |
|
|
|
|
|
|
|
|
Soggetti |
|
03B05 - Classical propositional logic [MSC 2020] |
03B25 - Decidability of theories and sets of sentences [MSC 2020] |
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] |
08B15 - Lattices of varieties [MSC 2020] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |