Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J.-M. Autebert ‘Langages algébriques', Ed. Masson.
2. J.C.M. Baeten, J.A. Bergstra, J.W. Klop ‘Decidability of bisimulation equivalence for processes generating context-free languages', LNCS 259, pp 94–111.
3. M. Bauderon, ‘On systems of equations defining infinite graphs', LNCS 344, pp 54–73.
4. M. Bauderon, ‘Infinite hypergraphs: basic properties and systems of equations’, Internal report I-8920.
5. J. Berstel ‘Transductions and context-free languages', Ed. Teubner.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Per-Location Simulation;Lecture Notes in Computer Science;2020
2. Unfolding of Finite Concurrent Automata;Electronic Proceedings in Theoretical Computer Science;2018-10-04
3. Unary Resolution: Characterizing Ptime;Lecture Notes in Computer Science;2016
4. Saturation algorithms for model-checking pushdown systems;Electronic Proceedings in Theoretical Computer Science;2014-05-21
5. Context-Free Sequences;Theoretical Aspects of Computing – ICTAC 2014;2014