Publisher
Springer Berlin Heidelberg
Reference55 articles.
1. Aho, A.V. and Ullman, J.D. [1979] Universality of data retrieval languages, in: Proc. of 6th ACM Symp. on Principles of Programming Languages, 1979, 110–117.
2. Backus, J. [1978] Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Comm. of the ACM, 21 (1978), 613–641.
3. Barwise, J. and Moschovakis, Y.N. [1978] Global inductive definability, J. of Symbolic Logic, 43 (1978), 521–534.
4. Barwise, J., Gandy, R.O. and Moschovakis, Y.N. [1971] The next admissible set, J. of Symbolic Logic, 36 (1971), 108–120.
5. Bjoerner, D. and Jones, C.B. [1982] Formal specification and software development, Prentice-Hall, 1982.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献