文章基本信息

标题：The Equational Theory of Fixed Points with Applications to Generalized Language Theory
本地全文：下载
作者：Zoltán Ésik
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：2001
卷号：8
期号：22
出版社：Aarhus University
摘要：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.