01752nam0 2200337 i 450 SUN005157820160516121814.303978-08-218-0595-40.0020060907d1997 |0engc50 baengUS|||| |||||*Decision problems for equational theories of relation algebrasHajnal Andreka, Steven Givant, Istvan NemetiProvidence, R. I.American Mathematical Society1997XIV, 126 p.ill.26 cm.001SUN00243702001 Memoirs of the American Mathematical Society604210 ProvidenceAmerican mathematical society.03B05Classical propositional logic [MSC 2020]MFSUNC02140203B25Decidability of theories and sets of sentences [MSC 2020]MFSUNC02440003G15Cylindric and polyadic algebras; relation algebras [MSC 2020]MFSUNC02450308B15Lattices of varieties [MSC 2020]MFSUNC024507USProvidenceSUNL000273Andréka, HajnalSUNV0405140Givant, Steven R.SUNV04015459680Nemeti, IstvanSUNV040515726410American mathematical societySUNV001080650ITSOL20200720RICA/sebina/repository/catalogazione/documenti/Andreka, Givant, Nemeti - Decision problems for equational theories of relation algebras.pdfContentsSUN0051578UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0130 08 6970 I 20060907 Decision problems for equational theories of relation algebras1427672UNICAMPANIA