Author:
Lochbihler Andreas,Schneider Joshua
Publisher
Springer International Publishing
Reference30 articles.
1. Berghofer, S.: Proofs, Programs and Executable Specifications in Higher Order Logic. Ph.D. thesis, Institut für Informatik, Technische Universität München (2003)
2. Berstel, J., Reutenauer, C.: Square-free words and idempotent semigroups. In: Lothaire, M. (ed.) Combinatorics on Words, 2nd edn., pp. 18–38. Cambridge University Press (1997)
3. Lecture Notes in Computer Science;S Boutin,1997
4. Lecture Notes in Computer Science;L Bulwahn,2008
5. Bunder, M.W.: Lambda terms definable as combinators. Theoret. Comput. Sci. 169(1), 3–21 (1996)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献