Periodo de publicación recogido
|
|
|
Birkhoff�s variety theorem in many sorts
Jirí Adámek, Jirí Rosický, Enrico Vitale
Algebra universalis, ISSN 0002-5240, Vol. 68, Nº. 1-2, 2012, págs. 39-42
Relatively terminal coalgebras
Jirí Adámek, Vera Trnková
Journal of pure and applied algebra, ISSN 0022-4049, Vol. 216, Nº 8-9, 2012, págs. 1887-1895
Elgot theories: a new perspectives on the equational properties of iteration
Jirí Adámek, Stefan Milius, Jirí Velebil
Mathematical structures in computer science, ISSN 0960-1295, Vol. 21, Nº 2, 2011 (Ejemplar dedicado a: Coalgebraic logic), págs. 417-480
Initial algebras and terminal coalgebras in many-sorted sets
Jirí Adámek, Vera Trnková
Mathematical structures in computer science, ISSN 0960-1295, Vol. 21, Nº 2, 2011 (Ejemplar dedicado a: Coalgebraic logic), págs. 481-509
Iterative reflections of modals
Jirí Adámek, Stefan Milius, Jirí Velebil
Mathematical structures in computer science, ISSN 0960-1295, Vol. 20, Nº 3, 2010, págs. 419-452
A logic of implications in algebra and coalgebra
Jirí Adámek, Manuela Sobral, Lurdes Sousa
Algebra universalis, ISSN 0002-5240, Vol. 61, Nº. 3-4, 2009, págs. 313-337
Jirí Adámek, Stefan Milius, Jiri Velebi
Mathematical structures in computer science, ISSN 0960-1295, Vol. 16, Nº 6, 2006, págs. 1085-1131
Locally presentable and accessible categories
Jirí Adámek, Jirí Rosicky
Cambridge : University Press, 1994. ISBN 0-521-42261-2
Foundations of coding: theory and applications of error-correcting codes with an introduction to criptography and information theory
Jirí Adámek
Chichester [etc. : John Wiley & Sons, 1991. ISBN 0-471-62187-0
Abstract and concrete categories :: the joy of cats
Jirí Adámek, George E. Strecker, Horst Herrlich
New York : Wiley, cop. 1990. ISBN 0-471-60922-6
Theory of Mathematical structures
Jirí Adámek
Dordrecht [etc. : D. Reidel, cop. 1983. ISBN 90-277-1459-2
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados