 |
 | Vissza |
Vágvölgyi Sándor:
Some decidability results on one-pass reductions.
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 105.
pp. 47-74.
ISSN 2352-2208
(2019)
Vágvölgyi Sándor:
Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy.
THEORETICAL COMPUTER SCIENCE, 732.
pp. 60-72.
ISSN 0304-3975
(2018)
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)
