Sémantique opérationnelle And NotDominique Cansell
List of bibliographic references
Number of relevant bibliographic references: 12.Ident. | Authors (with country if any) | Title |
---|---|---|
000124 | G. Bonfante [France] ; J.-Y. Marion [France] ; J.-Y. Moyen [France] | Quasi-interpretations a way to control resources |
000517 | Dominique Larchey-Wendling [France] | Bounding resource consumption with Gödel-Dummett logics |
000625 | Ralph Benzinger [États-Unis] | Automated higher-order complexity analysis |
000821 | Dominique Larchey-Wendling [France] | Combining proof-search and counter-model construction for deciding Gödel-Dummett logic |
000877 | Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | The Rho cube |
000895 | Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Abderrahmane Aggoun [France] | Network flow problems in constraint programming |
000954 | Proof-search in Type-theoretic Languages | |
000A05 | I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis] | Efficient resource management for linear logic proof search |
000A18 | Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France] | Compiling and verifying security protocols |
000B10 | C. Piliere [France] | A confluence result for a typed λ-calculus of exception handling with fixed-point |
000B44 | B. Gramlich [France] | Modular aspects of rewrite-based specifications |
000C08 | A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [États-Unis, France] ; J. Meseguer [États-Unis] | Specification and proof in membership equational logic |
This area was generated with Dilib version V0.6.33. |