magyar

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] Text
ipl.pdf - Accepted Version
Closed access: Repository staff only
Download (262kB) | Request a copy
[thumbnail of 1_s2.0_S0020019018300346_main_u.pdf] Text
1_s2.0_S0020019018300346_main_u.pdf - Published Version
Closed access: Repository staff only
Download (254kB) | Request a copy
Item Type: Journal Article
Journal or Publication Title: INFORMATION PROCESSING LETTERS
Date: 2018
Volume: 134
Page Range: pp. 47-51
ISSN: 0020-0190
Faculty/Unit: Faculty of Science and Informatics
Institution: Szegedi Tudományegyetem
Language: English
MTMT rekordazonosító: 3389343
DOI azonosító: 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
Download Statistics

Downloads

Downloads per month over past year

Technical information: publicatio AT ek.szte.hu
SZTE Repository of Publications is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.