Tractable temporal and phylogeny constraint languages have limited pp-interpretative power and admit 4-ary pseudo-Siggers polymorphisms, revealing a common core in their proofs.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
When Darwin met Ianus: dichotomies of expressivity
Tractable temporal and phylogeny constraint languages have limited pp-interpretative power and admit 4-ary pseudo-Siggers polymorphisms, revealing a common core in their proofs.