5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 5 cited
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth +1
Multirelations provide a semantic domain for computing systems that involve two dual kinds of nondeterminism. This paper presents relational formalisations of Kleisli, Parikh and P…
nlin.CG2005
On Reversible Cellular Automata with Triplet Local Rules
Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee +3
Bijections between sets may be seen as discrete (or crisp) unitary transformations used in quantum computations. So discrete quantum cellular automata are cellular automata with re…