HOWL
发表于 2025-3-30 08:23:17
http://reply.papertrans.cn/83/8262/826118/826118_51.png
画布
发表于 2025-3-30 14:42:34
,Implication Algebras and Implication Semigroups of Binary Relations,oblems decidable here). We show that this also holds in the context of unary (and binary) relations and present a Stone-style representation theorem. We then show that the (finite) representation decision problem is undecidable for implication semigroups, in stark contrast with implication algebras.
Psychogenic
发表于 2025-3-30 18:33:08
,On the Complexity of Kleene Algebra with Domain,tization of program equations valid in relational test algebra. We also show that the equational theory of Kleene algebra with domain coincides with the equational theory of *-continuous Kleene algebra with domain.
祖传
发表于 2025-3-31 00:35:37
http://reply.papertrans.cn/83/8262/826118/826118_54.png
儿童
发表于 2025-3-31 04:39:21
http://reply.papertrans.cn/83/8262/826118/826118_55.png
灾难
发表于 2025-3-31 05:14:59
Relational Algebraic Approach to the Real Numbers the Additive Group,on of a relation power, i.e., an abstract version of power sets within the category. This allows us to utilize a relation algebraic version of Tarski’s axioms of the real numbers as a first-order definition of a real number object. The current paper focuses on the addition operation of the real numb
CAGE
发表于 2025-3-31 13:14:48
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients, ensure given LTL properties in the resulting plant automaton. We give a hardness result for refinement and control and investigate, in particular, the question whether refineability and controllability can be decided by looking at bisimulation quotients.
Clumsy
发表于 2025-3-31 16:23:22
Relational Algebraic Approach to the Real Numbers the Additive Group,s axioms of the real numbers as a first-order definition of a real number object. The current paper focuses on the addition operation of the real number object. It is shown that addition forms a densely and linearly ordered abelian group.