Systolic trees and systolic language recognition by tree automata

From MaRDI portal
Publication:1172401