Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems

Vágvölgyi Sándor: Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems.
INFORMATION PROCESSING LETTERS, 134. pp. 47-51. ISSN 0020-0190 (2018)

[thumbnail of ipl.pdf] Szöveg
ipl.pdf - Elfogadott verzió
Zárt hozzáférés: Csak az archívum karbantartója

Download (262kB) | Másolat kérése
[thumbnail of 1_s2.0_S0020019018300346_main_u.pdf] Szöveg
1_s2.0_S0020019018300346_main_u.pdf - Megjelent verzió
Zárt hozzáférés: Csak az archívum karbantartója

Download (254kB) | Másolat kérése
Mű típusa: Folyóiratcikk
Folyóirat/kiadvány címe: INFORMATION PROCESSING LETTERS
Publikáció dátuma: 2018
Kötet: 134
Oldalak: pp. 47-51
ISSN: 0020-0190
Kar/Egység: Természettudományi és Informatikai Kar
Intézmény: Szegedi Tudományegyetem
Nyelv: angol
MTMT rekordazonosító: 3389343
DOI azonosító: https://doi.org/10.1016/j.ipl.2018.02.005
Dátum: 2018. Szep. 24. 17:31
Utolsó módosítás: 2018. Szep. 24. 17:31
URI: http://publicatio.bibl.u-szeged.hu/id/eprint/13933

Actions (login required)

Tétel nézet Tétel nézet

Letöltések

Letöltések havi bontásban az elmúlt egy évben