Zobrazeno 1 - 5
of 5
pro vyhledávání: '"TAMÁS HAJGATÓ"'
Autor:
TAMÁS HAJGATÓ1 hajgato@inf.u-szeged.hu, MASAHITO HASEGAWA2 hassei@kurims.kyoto-u.ac.jp
Publikováno v:
Theory & Applications of Categories. 2013, Vol. 28 Issue 7, p206-212. 7p.
Autor:
Tamás Hajgató, Zoltán Ésik
Publikováno v:
Mathematical Structures in Computer Science. 21:1035-1066
Partial iterative theories are algebraic theories such that for certain morphisms f the equation ξ = f ⋅ 〈ξ, 1p〉 has a unique solution. Iteration theories are algebraic theories satisfying a certain set of identities. We investigate some simi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fca1a3f1967a3aa7b364452fad0108f8
https://doi.org/10.1017/s0960129511000326
https://doi.org/10.1017/s0960129511000326
Autor:
Zoltán Ésik, Tamás Hajgató
Publikováno v:
Algebraic Foundations in Computer Science ISBN: 9783642248962
Algebraic Foundations in Computer Science
Algebraic Foundations in Computer Science
Partial Conway theories are algebraic theories equipped with a partially defined dagger operation satisfying some natural identities. We prove a Kleene type theorem for partial Conway theories and discuss several applications of this result.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f46e8b9964d26efab9fb0b13d6880751
https://doi.org/10.1007/978-3-642-24897-9_4
https://doi.org/10.1007/978-3-642-24897-9_4
Autor:
Tamás Hajgató, Zoltán Ésik
Publikováno v:
Algebraic Informatics ISBN: 9783642035630
CAI
CAI
Iteration grove theories are iteration theories equipped with an additive structure satisfying certain one-sided distributivity laws. In any iteration grove theory, the fixed point operation determines and is determined by a generalized star operatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::937b49f3e2d6bb3db2d42c5314e4dd88
https://doi.org/10.1007/978-3-642-03564-7_15
https://doi.org/10.1007/978-3-642-03564-7_15