Author:
Brecht Matthew,Yamamoto Akihiro
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference30 articles.
1. Inductive inference of formal languages from positive data;Angluin;Information and Control,1980
2. Inference of reversible languages;Angluin;Journal of the ACM,1982
3. Separation axioms between T0 and T1;Aull;Indagationes Mathematicae,1963
4. A convenient category of domains;Battenfeld;Electronic Notes in Theoretical Computer Science,2007
5. Abstract logics;Brown;Dissertationes Mathematicae,1973
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献