Goubault-Larrecq, J. (1997). On computational interpretations of the modal logic S4, part IIIb. Technical Report 3164, INRIA, France. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
No context found.
Goubault-Larrecq, J. (1997). On computational interpretations of the modal logic S4, part IIIb. Technical Report 3164, INRIA, France.
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
No context found.
Goubault-Larrecq, J. (1996). On computational interpretations of the modal logic S4, parts I-- III. Technical Reports 1996-33,34,35, Institut fur Logik, Komplexitat und Deduktionssysteme, Universitat Karlsruhe, Karlsruhe, Germany.
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) (Correct)
No context found.
Goubault-Larrecq, J. 1996. On computational interpretations of the modal logic S4, parts I--III. Technical Reports 1996-33,34,35, Institut fur Logik, Komplexitat und Deduktionssysteme, Universitat Karlsruhe, Karlsruhe, Germany.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC