Author:
Edalat Abbas,Smyth Michael B.
Reference15 articles.
1. S. Abramsky. A cooks tour of the finitary non-well founded sets (abstract). EATCS Bulletin, 36:233–234, 1988.
2. K. J. Barwise. An introduction to first order logic. In K. J. Barwise, editor, The Handbook of Mathematical Logic, Studies in Logic and Foundations of Mathematics, pages 5–46. North Holland, 1977.
3. N. J. Cutland. Computability: An Introduction to Recursive function theory. Cambridge University Press, 1980.
4. A. Edalat. Categories of information systems. Master's thesis, Imperial College, University of London, 1989.
5. Technical Report;A. Edalat,1991
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献