2020
DOI: 10.1016/j.tcs.2020.10.020
|View full text |Cite
|
Sign up to set email alerts
|

Anti-unification and the theory of semirings

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(3 citation statements)
references
References 14 publications
0
3
0
Order By: Relevance
“…Example 3. From the introduction: Syntactic AU is unitary [22,23], AU over associative (A) and commutative (C) theories is finitary [1], AU over idempotent theories is infinitary [12], and AU with multiple unital equations is nullary [14].…”
Section: Example 1 Consider the Equational Theory Absmentioning
confidence: 99%
See 2 more Smart Citations
“…Example 3. From the introduction: Syntactic AU is unitary [22,23], AU over associative (A) and commutative (C) theories is finitary [1], AU over idempotent theories is infinitary [12], and AU with multiple unital equations is nullary [14].…”
Section: Example 1 Consider the Equational Theory Absmentioning
confidence: 99%
“…Concrete examples are the product operation and 0 in number fields and the intersection operation and ∅ in set theory. So far, investigations on antiunification over absorption theories have only considered equational theories defining more elaborate algebraic structures (semirings [12]). In this work, we study pure absorption theories as part of a general study on the anti-unification of subterm-collapsing theories.…”
Section: Anti-unification In Absorption Theoriesmentioning
confidence: 99%
See 1 more Smart Citation