LEADER 01816nam0 2200349 i 450 
001 VAN0051578
005 20231213103512.744
010   $a978-08-218-0595-4
100   $a20060907d1997       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aDecision problems for equational theories of relation algebras$fHajnal Andreka, Steven Givant, Istvan Nemeti
210   $aProvidence, R. I.$cAmerican Mathematical Society$d1997
215   $aXIV, 126 p.$cill.$d26 cm
410  1$1001VAN0024370$12001 $aMemoirs of the American Mathematical Society$1210  $aProvidence$cAmerican mathematical society$v604
606   $a03B05$xClassical propositional logic [MSC 2020]$3VANC021402$2MF
606   $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF
606   $a03G15$xCylindric and polyadic algebras; relation algebras [MSC 2020]$3VANC024503$2MF
606   $a08B15$xLattices of varieties [MSC 2020]$3VANC024507$2MF
620   $aUS$dProvidence$3VANL000273
700  1$aAndréka$bHajnal$3VANV040514$0726411
701  1$aGivant$bSteven R.$3VANV040154$059680
701  1$aNemeti$bIstvan$3VANV040515$0726410
712   $aAmerican mathematical society$3VANV108732$4650
801   $aIT$bSOL$c20231215$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Andreka, Givant, Nemeti - Decision problems for equational theories of relation algebras.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0051578
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0130        $e08   6970      I       20060907            
996   $aDecision problems for equational theories of relation algebras$91427672
997   $aUNICAMPANIA