Titlebook: Relational and Algebraic Methods in Computer Science; 20th International C Roland Glück,Luigi Santocanale,Michael Winter Conference proceed

THROB

,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

construct

手铐

,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

,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

,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

厚颜无耻

,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.

抗原

问到了烧瓶