302 articles – 345 Notices  [english version]
.:. Consultation > Liste par année > 2009 .:.
85 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 Page Suivante Page Finale
fulltext access Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire
Gimenez S.
Université Paris-Diderot - Paris VII (16/12/2009), Thomas Ehrhard (Dir.) [tel-00629013 - version 1]
fulltext access Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Bruscoli P., Guglielmi A., Gundersen T., Parigot M.
[inria-00441213 - version 1] (15/12/2009)
fulltext access On stratified regions
Amadio R. M.
In Proceedings of the 7th Asian Symposium on Programming Languages and Systems - Proceedings of the 7th Asian Symposium on Programming Languages and Systems, Korea, Republic Of (2009) [hal-00375232 - version 2]
fulltext access SÉMANTIQUES ET SYNTAXES VECTORIELLES DE LA LOGIQUE LINÉAIRE
Tasson C.
Université Paris-Diderot - Paris VII (04/12/2009), Pierre-Louis CURIEN, Thomas EHRHARD (Dir.) [tel-00440752 - version 3]
fulltext accessible on an other server Homotopical interpretation of globular complex by multipointed d-space
Gaucher P.
Theory and Applications of Categories 22, 22 (2009) 588-621 [hal-00495657 - version 1]
fulltext access La science du logiciel libre par Roberto Di Cosmo. Entre auto-organisation et méritocratie, entretien avec Jean-Bernard Stefani, propos recueillis par Dominique Chouchan.
Di Cosmo R., Stefani J.-B.
[inria-00511691 - version 1] (2010-08-26)
Reducing Equational Theories for the Decision of Static Equivalence
Kremer S., Mercier A., Treinen R.
Dans Advances in Computer Science - ASIAN 2009 - Advances in Computer Science - ASIAN 2009, Corée, République De (2009) [hal-00495976 - version 1]
fulltext access Rule-based modelling and tunable resolution
Harmer R.
EPTCS 9 (2009) 65-72 [hal-00694488 - version 1]
fulltext access Strong Dependencies between Software Components
Abate P., Boender J., Di Cosmo R., Zacchiroli S.
Dans ESEM 2009. 3rd International Symposium on Empirical Software Engineering and Measurement, 2009. - ESEM 2009. 3rd International Symposium on Empirical Software Engineering and Measurement, 2009., États-Unis (2009) [hal-00438590 - version 1]
Parallel Reduction in Resource Lambda-Calculus
Pagani M.
In Programming Languages and Systems, 7th Asian Symposium (APLAS 2009) - Programming Languages and Systems APLAS, Korea, Republic Of (2009) [hal-00699013 - version 1]
Web Semantics via Wiki Templating
Di Iorio A., Vitali F., Zacchiroli S.
In Handbook of research on Web 2.0, 3.0 and x.0: technologies, business and social applications (2009) chapter 34 [hal-00520109 - version 1]
Higher Dimensional Transition System and Labelled Symmetric Precubical Set
Gaucher P.
Séminaire Itinérant de Catégories, France (2009) [hal-00695146 - version 1]
fulltext access Apache UIMA pour le Traitement Automatique des Langues
Hernandez N., Poulard F., Afantenos S. D., Vernier M., Rocheteau J.
16ème conférence sur le Traitement Automatique des Langues Naturelles (TALN'09) - Session Démonstration (2009) [hal-00423728 - version 1]
fulltext access BitTorrent DHT Extensions for IPv6
Chroboczek J.
BEP-32 (2009) [hal-00696394 - version 1]
Counterexamples in Probabilistic LTL Model Checking
Schmalz M., Varacca D., Völzer H.
In CONCUR 2009 - FOSSACS, Italy (2010) [hal-00496912 - version 1]