Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

This article has been cited by the following article(s):

Meeting of the Association for Symbolic Logic

Xavier Caicedo, Rolando Chuaqui, Newton C. A. Da Costa and Carlos A. Di Prisco
The Journal of Symbolic Logic 49 (04) 1430 (1984)
DOI: 10.2307/2274305
See this article

Closures on CPOs Form Complete Lattices

Francesco Ranzato
Information and Computation 152 (2) 236 (1999)
DOI: 10.1006/inco.1999.2801
See this article

Global and local invariants in transition systems

Joseph Sifakis
Information and Control 53 (1-2) 91 (1982)
DOI: 10.1016/S0019-9958(82)91167-6
See this article

Reducibilities in two models for combinatory logic

Luis E. Sanchis
The Journal of Symbolic Logic 44 (02) 221 (1979)
DOI: 10.2307/2273730
See this article