Login / Signup

An Algorithm for the Solution of Fixed-Point Equations for Infinite Words.

Stephan Heilbrunner
Published in: RAIRO Theor. Informatics Appl. (1980)
Keyphrases