A note on the «carving up content» principle in Frege's theory of senseLINSKY, B.Notre Dame journal of formal logic. 1992, Vol 33, Num 1, pp 126-135, issn 0029-4527Article

A new proof of the fixed-point theorem of provability logicREIDHAAR-OLSON, L.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 37-43, issn 0029-4527, 7 p.Article

Modal definability in enriched languagesGORANKO, V.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 81-105, issn 0029-4527, 25 p.Article

Lower and upper power domain constructions commute on all cposHECKMANN, P.Information processing letters. 1991, Vol 40, Num 1, pp 7-11, issn 0020-0190Article

Predicate transformers for recursive procedures with local variablesHESSELINK, W. H.Formal aspects of computing. 1999, Vol 11, Num 6, pp 616-636, issn 0934-5043Article

Modelling causality via action dependencies in branching time semanticsGOLTZ, U; WEHRHEIM, H.Information processing letters. 1996, Vol 59, Num 4, pp 179-184, issn 0020-0190Article

Une traduction de PLOTOS en MEIJE; A translation from PLOTOS to MEIJE = A translation from PLOTOS to MEIJEDOUMENC, Guillaume; MADELAINE, Eric.Rapports de recherche - INRIA. 1988, Vol 938, issn 0249-6399, 34 p.Report

Closing the gap between the stable semantics and extensions of WFSOSORIO, Mauricio; BORJA, Veronica; ARRAZOLA, Jose et al.Lecture notes in computer science. 2004, pp 202-211, issn 0302-9743, isbn 3-540-21459-3, 10 p.Conference Paper

Objects, associations and subsystems : A hierarchical approach to encapsulationBICARREGUI, J. C; LANO, K. C; MAIBAUM, T. S. E et al.Lecture notes in computer science. 1997, pp 324-343, issn 0302-9743, isbn 3-540-63089-9Conference Paper

Universal marker and functional relation: Semantics and operationsCAO, T. H; CREASY, P. N.Lecture notes in computer science. 1997, pp 416-430, issn 0302-9743, isbn 3-540-63308-1Conference Paper

Axiomatizing prefix iteration with silent stepsACETO, L; VAN GLABBEEK, R; FOKKINK, W et al.Information and computation (Print). 1996, Vol 127, Num 1, pp 26-40, issn 0890-5401Article

Operational semantics for positive RHUMBERSTONE, I. L.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 61-80, issn 0029-4527Article

The One Way to Quantum ComputationDANOS, Vincent; KASHEFI, Elham; PANANGADEN, Prakash et al.Lecture notes in computer science. 2006, pp 13-21, issn 0302-9743, isbn 3-540-35904-4, 9 p.Conference Paper

Graph transformation units with interleaving semanticsKREOWSKI, H.-J; KUSKE, S.Formal aspects of computing. 1999, Vol 11, Num 6, pp 690-723, issn 0934-5043Article

From sequential to distributed formal proofsGULIAS, V. M; SANTIAGO JORGE, J; QUINTELA, J. J et al.Lecture notes in computer science. 1997, pp 501-513, issn 0302-9743, isbn 3-540-63811-3Conference Paper

Uncovering the conceptual models in ripple down rulesRICHARDS, D; COMPTON, P.Lecture notes in computer science. 1997, pp 198-212, issn 0302-9743, isbn 3-540-63308-1Conference Paper

Two formal systems for situation semanticsBARBA ESCRIBA, J. B.Notre Dame journal of formal logic. 1992, Vol 33, Num 1, pp 70-88, issn 0029-4527Article

A calculus for cryptographic protocols : The spi calculusABADI, M; GORDON, A. D.Information and computation (Print). 1999, Vol 148, Num 1, pp 1-70, issn 0890-5401Article

Animating conceptual graphsRABAN, R; DELUGACH, H. S.Lecture notes in computer science. 1997, pp 431-445, issn 0302-9743, isbn 3-540-63308-1Conference Paper

τ-Bisimulations and full abstraction for refinement of actionsCHERIEF, F; SCHNOEBELEN, P.Information processing letters. 1991, Vol 40, Num 4, pp 219-222, issn 0020-0190Article

A computation model for Z based on concurrent constraint resolutionGRIESKAMP, W.Lecture notes in computer science. 2000, pp 414-432, issn 0302-9743, isbn 3-540-67944-8Conference Paper

A semantic account of type-directed partial evaluationFILINSKI, A.Lecture notes in computer science. 1999, pp 378-395, issn 0302-9743, isbn 3-540-66540-4Conference Paper

Semantics for an agent communication languageLABROU, Y; FININ, T.Lecture notes in computer science. 1998, pp 209-214, issn 0302-9743, isbn 3-540-64162-9Conference Paper

Time in message sequence charts : A formal approachKOSIUCZENKO, P.Lecture notes in computer science. 1997, pp 562-566, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Inversion of a recursive tree traversalVAN DE SNEPSCHEUT, J. L. A.Information processing letters. 1991, Vol 39, Num 5, pp 265-267, issn 0020-0190Article