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)

[img] Text
ipl.pdf - Accepted Version
Closed access: Repository staff only

Download (262kB) | Request a copy
[img] Text
1_s2.0_S0020019018300346_main_u.pdf - Published Version
Closed access: Repository staff only

Download (254kB) | Request a copy
Item Type: Article
Journal or Publication Title: INFORMATION PROCESSING LETTERS
Date: 2018
Volume: 134
Page Range: pp. 47-51
ISSN: 0020-0190
Faculty: Faculty of Science and Informatics
Institution: Szegedi Tudományegyetem
MTMT id: 3389343
DOI id: https://doi.org/10.1016/j.ipl.2018.02.005
Date Deposited: 2018. Sep. 24. 17:31
Last Modified: 2018. Sep. 24. 17:31
URI: http://publicatio.bibl.u-szeged.hu/id/eprint/13933

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year