01819nam0 2200349 i 450 VAN0005157820240806100457.139978-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 cm001VAN000243702001 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 societyVANV108732650ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Andreka, Givant, Nemeti - Decision problems for equational theories of relation algebras.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00051578BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0130 08 6970 I 20060907 Decision problems for equational theories of relation algebras1427672UNICAMPANIA