On Several Proofs of the Recognizability Theorem

机译：关于可识别性定理的若干证明

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

The lecture has presented and compared several proofs of the fundamental Recognizability Theorem that relates the Monadic Second-order definability of a set of finite graphs or relational structures and its Recognizability, this notion being denned in terms of finite congruences and not in terms of automata.

机译：讲座介绍并比较了一些基本的可识别性定理的证明，这些定理与一组有限图或关系结构的Monadic二阶可定义性及其可识别性有关，该概念是根据有限同余而不是自动机来定义的。

著录项

来源
《Algebraic informatics》|2009年|78-80|共3页
会议地点 Thessaloniki(GR);Thessaloniki(GR)
作者
Bruno Courcelle;
展开▼
作者单位

Universite Bordeaux-1, LaBRI, CNRS Institut Universitaire de France 351, Cours de la Liberation 33405, Talence cedex, France;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;代数、数论、组合理论;
关键词

相似文献

外文文献
中文文献
专利

1. Congruence-based proofs of the recognizability theorems for free many-sorted algebras [J] . Climent Vidal J., Cosme Llopez E. Journal of logic and computation . 2020,第2期

机译：自由多分类代数的可识别性定理的基于同余的证明
2. Congruence-based proofs of the recognizability theorems for free many-sorted algebras [J] . J Climent Vidal, E Cosme LlÓpez Journal of Logic and Computation . 2020,第1期

机译：自由多分类代数的可识别性定理的基于同余的证明
3. Very Original Proofs of Two Famous Problems: “Are There Any Odd Perfect Numbers?” (Unsolved until to Date) and “Fermat’s Last Theorem: A New Proof of Theorem (Less than One and a Half Pages) and Its Generalization” [J] . Demetrius Chr. Poulkas Advances in Pure Mathematics . 2021,第11期

机译：非常原始的两个着名问题：“有奇怪的完美数字吗？” （未解决至迄今为止）和“Fermat的最后定理：定理的新证明（不到一个半页）及其概括”
4. On Several Proofs of the Recognizability Theorem [C] . Bruno Courcelle International Conference on Algebraic Informatics . 2009

机译：关于识别性定理的若干证明
5. New proofs of (new) Direct Product Theorems. [D] . Jaiswal, Ragesh. 2008

机译：（新）直接乘积定理的新证明。
6. Theorems proofs examples and rules in the practice ofepidemiology [O] . Tyler J. VanderWeele, Elizabeth L. Ogburn -1

机译：定理证明实例和规则的做法流行病学
7. Proof search and proof check for equational and inductive theorems [O] . Eric Deplagne, Claude Kirchner, Hélène Kirchner, 2013

机译：对等式和归纳定理的证明搜索和证明检查

On Several Proofs of the Recognizability Theorem

摘要

著录项

相似文献

相关主题

期刊订阅