01816nam0 2200349 i 450 VAN005157820231213103512.744978-08-218-0595-420060907d1997 |0itac50 baengUS|||| |||||Decision problems for equational theories of relation algebrasHajnal Andreka, Steven Givant, Istvan NemetiProvidence, R. I.American Mathematical Society1997XIV, 126 p.ill.26 cm001VAN00243702001 Memoirs of the American Mathematical Society210 ProvidenceAmerican mathematical society60403B05Classical propositional logic [MSC 2020]VANC021402MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03G15Cylindric and polyadic algebras; relation algebras [MSC 2020]VANC024503MF08B15Lattices of varieties [MSC 2020]VANC024507MFUSProvidenceVANL000273AndrékaHajnalVANV040514726411GivantSteven R.VANV04015459680NemetiIstvanVANV040515726410American mathematical societyVANV108732650ITSOL20231215RICA/sebina/repository/catalogazione/documenti/Andreka, Givant, Nemeti - Decision problems for equational theories of relation algebras.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0051578BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0130 08 6970 I 20060907 Decision problems for equational theories of relation algebras1427672UNICAMPANIA