Decision problems for equational theories of relation algebras

Detalles Bibliográficos
Autores principales: Andréka, Hajnal, Givant, Steven, Németi, István
Lenguaje:eng
Publicado: American Mathematical Society 1997
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2682412

Internet

http://cds.cern.ch/record/2682412

Ejemplares similares