Mandrali Eleni; Rahonis George: Weighted first-order logics over semirings. In: Acta cybernetica, (22) 2. pp. 435-483. (2015)
Előnézet |
Cikk, tanulmány, mű
actacyb_22_2_2015_13.pdf Letöltés (626kB) | Előnézet |
Absztrakt (kivonat)
We consider a first-order logic, a linear temporal logic, star-free expressions and counter-free Büchi automata, with weights, over idempotent, zerodivisor free and totally commutative complete semirings. We show the expressive equivalence (of fragments) of these concepts, generalizing in the quantitative setup, the corresponding folklore result of formal language theory.
Mű típusa: | Cikk, tanulmány, mű |
---|---|
Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
Dátum: | 2015 |
Kötet: | 22 |
Szám: | 2 |
ISSN: | 0324-721X |
Oldalak: | pp. 435-483 |
Nyelv: | angol |
Kiadás helye: | Szeged |
Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/38540/ |
DOI: | 10.14232/actacyb.22.2.2015.13 |
Kulcsszavak: | Algebrai logika |
Megjegyzések: | Bibliogr.: p. 482-483. ; összefoglalás angol nyelven |
Szakterület: | 01. Természettudományok 01. Természettudományok > 01.01. Matematika |
Feltöltés dátuma: | 2016. okt. 17. 10:36 |
Utolsó módosítás: | 2022. jún. 20. 10:57 |
URI: | http://acta.bibl.u-szeged.hu/id/eprint/36104 |
![]() |
Tétel nézet |