Relation lifting, a survey
Kurz, Alexander, Velebil, Jiří
Published in Journal of logical and algebraic methods in programming (01.06.2016)
Published in Journal of logical and algebraic methods in programming (01.06.2016)
Get full text
Journal Article
On coalgebra based on classes
Adámek, Jiřı́, Milius, Stefan, Velebil, Jiřı́
Published in Theoretical computer science (28.05.2004)
Published in Theoretical computer science (28.05.2004)
Get full text
Journal Article
Quasivarieties and varieties of ordered algebras: regularity and exactness
KURZ, ALEXANDER, VELEBIL, JIŘÍ
Published in Mathematical structures in computer science (01.10.2017)
Published in Mathematical structures in computer science (01.10.2017)
Get full text
Journal Article
Extending set functors to generalised metric spaces
Adriana Balan, Alexander Kurz, Jiří Velebil
Published in Logical methods in computer science (01.01.2019)
Published in Logical methods in computer science (01.01.2019)
Get full text
Journal Article
Positive fragments of coalgebraic logics
Balan, Adriana, Kurz, Alexander, Velebil, Jiří
Published in Logical methods in computer science (22.09.2015)
Published in Logical methods in computer science (22.09.2015)
Get full text
Journal Article
Kan injectivity in order-enriched categories
ADÁMEK, JIŘÍ, SOUSA, LURDES, VELEBIL, JIŘÍ
Published in Mathematical structures in computer science (01.01.2015)
Published in Mathematical structures in computer science (01.01.2015)
Get full text
Journal Article
Iterative algebras at work
ADÁMEK, JIŘÍ, MILIUS, STEFAN, VELEBIL, JIŘÍ
Published in Mathematical structures in computer science (01.12.2006)
Published in Mathematical structures in computer science (01.12.2006)
Get full text
Journal Article
Infinite trees and completely iterative theories: a coalgebraic view
Aczel, Peter, Adámek, Jiřı́, Milius, Stefan, Velebil, Jiřı́
Published in Theoretical computer science (07.05.2003)
Published in Theoretical computer science (07.05.2003)
Get full text
Journal Article
A PRESENTATION OF BASES FOR PARAMETRIZED ITERATIVITY
Adámek, Jir, Milius, Stefan, Velebil, Jir
Published in Theory and applications of categories (01.01.2017)
Get full text
Published in Theory and applications of categories (01.01.2017)
Journal Article
Relation lifting, with an application to the many-valued cover modality
Bilkova, Marta, Kurz, Alexander, Petrisan, Daniela, Velebil, Jiri
Published in Logical methods in computer science (25.10.2013)
Published in Logical methods in computer science (25.10.2013)
Get full text
Journal Article
Equational presentations of functors and monads
VELEBIL, JIŘÍ, KURZ, ALEXANDER
Published in Mathematical structures in computer science (01.04.2011)
Published in Mathematical structures in computer science (01.04.2011)
Get full text
Journal Article
Five new bramble species (Rubus, Rosaceae) in the flora of the Czech Republic
Velebil, Jiří, Trávníček, Bohumil, Sochor, Michal, Havlíček, Petr
Published in Dendrobiology (01.01.2016)
Published in Dendrobiology (01.01.2016)
Get full text
Journal Article