.:. Consultation > Liste des articles .:.

86 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 3 - 4 - 5 - 6 - 7 - 8 - 9

Specifying Imperative ML-Like Programs Using Dynamic Logic Maingaud S., Balat V., Bubel R., Hähnle R., Miquel A. Dans FoVeOOS - Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, France (2010) [hal-00800554 - version 1]

Termination in Impure Concurrent Languages Demangeon R., Hirschkoff D., Sangiorgi D. In CONCUR'10 - CONCUR'10, France (2010) [hal-00798789 - version 1]

Termination in higher-order concurrent calculi Demangeon R., Hirschkoff D., Sangiorgi D. Journal of Logic and Algebraic Programming 79, 7 (2010) 550-577 [hal-00798788 - version 1]

On Bisimilarity and Substitution in Presence of Replication Hirschkoff D., Pous D. Dans Automata, Languages and Programming - ICALP, France (2010) [hal-00375604 - version 4]

Feasibility/Desirability Games for Normal Form Games, Choice Models and Evolutionary Games Lescanne P. [ensl-00408519 - version 1] (30/07/2009)

Proofs of randomized algorithms in Coq Audebaud P., Paulin-Mohring C. Science of Computer Programming (2009) [inria-00431771 - version 1]

HedN Game, a Relational Framework for Network Based Cooperation Delaplace F., Lescanne P. [hal-00382514 - version 2] (15/05/2009)

Deconstruction of Infinite Extensive Games using coinduction Lescanne P. [ensl-00376141 - version 2] (2009-04-28)

On the Values of Reducibility Candidates Riba C. Dans Typed Lambda Calculi and Applications - Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brésil (2009) [hal-00800668 - version 1]

The lambda-calculus with constructors: Syntax, confluence and separation Arbiser A., Miquel A., Rios A. Journal of Functional Programming 19, 5 (2009) 581-631 [hal-00800559 - version 1]