Epimorphisms in cylindric algebras and definability in finite variable logic
Hajnal Andréka, S. D. Comer, J. X. Madarász, I. Németi, F. Sayed Ahmed
págs. 261-282
págs. 283-300
págs. 301-312
págs. 313-337
págs. 339-364
Congruence modularity implies cyclic terms for finite algebras
Libor Barto, Marcin Kozik, Miklós Maróti, Ralph McKenzie, Todd Niven
págs. 365-380
págs. 381-397
págs. 399-405
págs. 407-411
págs. 413-430
págs. 431-440
págs. 441-448
págs. 449-453
págs. 455-473
págs. 475-478
págs. 479-481
© 2001-2024 Fundación Dialnet · Todos los derechos reservados