Linear equations for unordered data vectors in $[D]^k\to{}Z^d

Following a recently considered generalisation of linear equations to unordered-data vectors and to ordered-data vectors, we perform a further generalisation to data vectors that are functions from k-element subsets of the unordered-data set to vectors of integer numbers. These generalised equations...

Celý popis

Podrobná bibliografia

Vydané v:	Logical methods in computer science Ročník 18, Issue 4
Hlavní autori:	Hofman, Piotr, Różycki, Jakub
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Logical Methods in Computer Science e.V 12.12.2022
Predmet:	68q85 computer science - computational complexity computer science - formal languages and automata theory computer science - symbolic computation f.3.1 f.4.2 g.2.2
ISSN:	1860-5974, 1860-5974
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!