scholarly journals The greatest fixed-points and rational omega-tree languages

1986 ◽  
Vol 44 ◽  
pp. 259-274 ◽  
Author(s):  
Masako Takahashi
Keyword(s):  
2001 ◽  
Vol 8 (22) ◽  
Author(s):  
Zoltán Ésik

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.


2017 ◽  
Vol 60 (3) ◽  
pp. 640-654
Author(s):  
N. Lekkoksung ◽  
K. Denecke
Keyword(s):  

2018 ◽  
Vol 2018 (-) ◽  
Author(s):  
Prondanai Kaskasem ◽  
Chakkrid Klin-eam ◽  
Suthep Suantai

Author(s):  
C. Ganesa Moorthy ◽  
S. Iruthaya Raj
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document