首页> 外文会议>Developments in Language Theory >The Equational Theory of Fixed Points with Applications to Generalized Language Theory Dedicated to Prof. Werner Kuich on the Occasion of His 60th Birthday

【24h】

The Equational Theory of Fixed Points with Applications to Generalized Language Theory Dedicated to Prof. Werner Kuich on the Occasion of His 60th Birthday

机译：Werner Kuich教授60岁生日之际的定点方程理论在广义语言理论中的应用

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We review the rudiments of the equational logic of (least) fixed points and provide some of its applications for axiomatization problems with respect to regular languages, tree languages, and synchronization trees.

机译：我们回顾了（最少）不动点的等式逻辑的基本知识，并提供了其在与常规语言，树型语言和同步树有关的公理化问题中的某些应用。

著录项

来源
《Developments in Language Theory》|2002年|p.21-36|共16页
会议地点
作者
Z. Esik;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Synthesis, structure and magnetic properties of hexanuclear Co III-LnIII clusters Dedicated to prof. Dr. Werner Uhl on the occasion of his 60th Birthday [J] . Feuersenger J., Prodius D., Mereacre V., Polyhedron: The International Journal for Inorganic and Organometallic Chemistry . 2013,第Null期

机译：六核Co III-LnIII团簇的合成，结构和磁性质。 Werner Uhl博士诞辰60周年
2. Special Issue Boundary Elements - Theory and Applications Dedicated to Professor Ernst P. Stephan on the Occasion of his 60th Birthday [J] . Carsten Carstensen, Norbert Heuer, Matthias Maischak Applied numerical mathematics . 2009,第11期

机译：特刊的边界元素-恩斯特·史蒂芬（Ernst P. Stephan）教授诞辰60周年之际的理论与应用
3. WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS: Dedicated to Werner Kuich on the occasion of his 70th birthday [J] . MANFRED DROSTE, INGMAR MEINECKE International Journal of Foundations of Computer Science . 2011,第8期

机译：在评估单价上加权自动和常规表达：献给Werner Kuich 70岁生日之际
4. Iteration Grove Theories with Applications: Dedicated to Prof. Werner Kuich on the Occasion of His Retirement [C] . Z. Esik, T. Hajgato Algebraic informatics . 2009

机译：迭代格罗夫理论及其应用：专门介绍Werner Kuich教授退休的场合
5. The Pettis integral with applications to ordinary differential equations and fixed point theory. [D] . Hester, Anthony. 2005

机译：Pettis积分可用于常微分方程和不动点理论。
6. BEHAVIORAL MOMENTUM THEORY: EQUATIONS AND APPLICATIONS [O] . John A Nevin, Timothy A Shahan 2011

机译：行为动量理论：方程和应用
7. The Equational Theory of Fixed Points with Applications to Generalized Language Theory [O] . Z. Ésik 2002

机译：具有普遍语言理论的固定点的实体理论
8. Asymptotic Analysis of Stochastic Differential Equations and Their Applications in Diffusion Theory, Stability of Structures and Reliability Theory. [R] . Schuus, Z. 1977

机译：随机微分方程的渐近分析及其在扩散理论，结构稳定性和可靠性理论中的应用。

The Equational Theory of Fixed Points with Applications to Generalized Language Theory Dedicated to Prof. Werner Kuich on the Occasion of His 60th Birthday

摘要

著录项

相似文献

相关主题

期刊订阅