THROB
发表于 2025-3-23 13:33:28
,Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture,hemes generalize the notion of a Ramsey scheme and may be of independent interest. As an application, we give the first finite representation of .. We complement our upper bounds with some lower bounds. Using a SAT solver, we establish that neither . nor . are representable on fewer than 24 points.
ALTER
发表于 2025-3-23 14:32:42
http://reply.papertrans.cn/83/8262/826118/826118_12.png
construct
发表于 2025-3-23 20:08:46
http://reply.papertrans.cn/83/8262/826118/826118_13.png
手铐
发表于 2025-3-24 01:26:36
,Normal Forms for Elements of the ,-continuous Kleene Algebras ,the fixed-point closure of .: the centralizer of . in .. As a next step, establishing a calculus for context-free expressions, we prove a representation of elements of . by automata à la Kleene and refine it by normal form theorems that restrict the occurrences of brackets on paths through the automata.
dearth
发表于 2025-3-24 05:54:54
,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.
flammable
发表于 2025-3-24 09:17:32
,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.
eardrum
发表于 2025-3-24 14:36:43
http://reply.papertrans.cn/83/8262/826118/826118_17.png
厚颜无耻
发表于 2025-3-24 17:38:36
,Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements,Using computer software, every quantale on up to nine elements has been enumerated up to isomorphism, catalogued and classified with respect to various properties. In order to achieve this the enumeration was branched by partitioning the search space based on various isomorphic invariants of quantales.
抗原
发表于 2025-3-24 22:24:41
http://reply.papertrans.cn/83/8262/826118/826118_19.png
问到了烧瓶
发表于 2025-3-25 02:43:52
http://reply.papertrans.cn/83/8262/826118/826118_20.png