Vol-2138⫷ Vol-2139 ⫸Vol-2140
urn:nbn:de:0074-2139-0


Vol-2139/12-20⫷Vol-2139/21-30⫸Vol-2139/31-45
Ruslan Shevchenko

Числення контекстних термів для систем переписування Context term calculus for rewriting systems