首页> 外文OA文献 >Sequentiality, Second Order Monadic Logic and Tree Automata(Theory of Rewriting Systems and Its Applications)

【2h】

Sequentiality, Second Order Monadic Logic and Tree Automata(Theory of Rewriting Systems and Its Applications)

机译：顺序，二阶单子逻辑和树自动机（重写系统理论及其应用）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Comon Hubert;
展开▼
作者单位

展开▼
年度 1995
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Guarded fixed point logics and the monadic theory of countable trees [J] . Gradel E. Theoretical computer science . 2002,第1期

机译：保护的定点逻辑和可数树的单子论
2. Active XML Document Rewriting Based on Tree Automata Theory [J] . MA Haitao, HAO Zhongxiao, ZHU Yan Wuhan University Journal of Natural Sciences . 2006,第5期

机译：基于树自动机理论的主动XML文档重写
3. Products of Tree Automata with an Application to Temporal Logic [J] . Zoltan Esik, Szabolcs Ivan Fundamenta Informaticae . 2008,第1a2期

机译：树自动机的产品及其在时间逻辑中的应用
4. Sequentiality, second order monadic logic and tree automata [C] . Comon, H. . 1995

机译：顺序，二阶单子逻辑和树自动机
5. Modular finite state machines for logic control: Theory, verification and applications to reconfigurable manufacturing systems. [D] . Endsley, Eric William. 2004

机译：用于逻辑控制的模块化有限状态机：理论，验证和可重构制造系统的应用。
6. Propelling DNA Computing with Materials’ Power: Recent Advancements in Innovative DNA Logic Computing Systems and Smart Bio‐Applications [O] . Daoqing Fan, Juan Wang, Erkang Wang, 2020

机译：推进DNA计算材料的力量：创新DNA逻辑计算系统和智能生物应用的最新进展
7. Deterministic tree pushdown automata and monadic tree rewriting systems [O] . Salomaa Kai 1988

机译：确定性树下推自动机和单子树重写系统
8. Optimal Code Generation for Expression Trees: An Application of BURS (Bottom-Up Rewrite Systems) Theory [R] . Pelegri-Llopart, E., Graham, S. L. 1988

机译：表达树的最优代码生成：BURs（自下而上重写系统）理论的应用

Sequentiality, Second Order Monadic Logic and Tree Automata(Theory of Rewriting Systems and Its Applications)

著录项

引文网络

相似文献

相关主题

期刊订阅