...
Brno University of Technology Faculty of Information Technology Centre of Excellence IT4Innovations Bozetechova 2 612 66 Brno Czech Republic;
k#$-rewriting systems; pushdown; #-rewriting systems; infinite hierarchy; finite index; n-limited state grammars;
机译:通过地面树重写系统完善流程重写系统的层次结构
机译:术语重写系统引起的两个重写关系的自反传递闭合的交点
机译:左线性右地重写系统的一阶重写理论自动化
机译:通过地面树重写系统完善流程重写系统的层次结构
机译:依次关闭和转发封闭的字符串重写系统
机译:重写系统和生物系统建模
机译:具有绑定支持的重写形式主义:比较组合归约系统和具有原子替换的名义重写系统
机译:在aRm(抽象重写机)的范围内:通过最小重写系统编译左线性重写系统;软件工程部