Hans-E. Porst

Publication Activity (10 Years)

Years Active: 1993-2017
Publications (10 Years): 3

Top Topics

Temporal Reasoning

Dual Formulation

Top Venues

Appl. Categorical Struct.

Log. Methods Comput. Sci.

Publications

Hans-E. Porst
Hopf and Lie algebras in semi-additive Varieties. Log. Methods Comput. Sci. 13 (2) (2017)
Hans-E. Porst, Ross Street
Generalizations of the Sweedler Dual. Appl. Categorical Struct. 24 (5) (2016)
Hans-E. Porst
Hopf Monoids in semi-additive Varieties. CoRR (2016)
Hans-E. Porst
Free Internal Groups. Appl. Categorical Struct. 20 (1) (2012)
Hans-E. Porst
Fundamental Constructions for Coalgebras, Corings, and Comodules. Appl. Categorical Struct. 16 (1-2) (2008)
Hans-E. Porst
Residually Small Varieties Without Rank. Appl. Categorical Struct. 12 (4) (2004)
Jirí Adámek, Hans-E. Porst
On tree coalgebras and coalgebra presentations. Theor. Comput. Sci. 311 (1-3) (2004)
Jirí Adámek, Hans-E. Porst
On Varieties and Covarieties in a Category. Math. Struct. Comput. Sci. 13 (2) (2003)
Jirí Adámek, Hans-E. Porst
From Varieties of Algebras to Covarieties of Coalgebras. CMCS (2001)
Hans-E. Porst
The Essentially Equational Theory of Horn Classes. Math. Log. Q. 46 (2) (2000)
Hans-E. Porst
Editorial. Appl. Categorical Struct. 8 (3) (2000)
Hans-E. Porst
Minimal Generators in Varieties. Appl. Categorical Struct. 8 (3) (2000)
Hans-E. Porst
Concrete categories are concretely equivalent iff their uniquely transportable modifications are strict concretely isomorphic. Appl. Categorical Struct. 4 (1) (1996)
Hans-E. Porst
What is concrete equivalence? Appl. Categorical Struct. 2 (1) (1994)
Hans-E. Porst
The algebraic theory of order. Appl. Categorical Struct. 1 (4) (1993)