Filtrer vos résultats
- 10
- 1
- 6
- 4
- 1
- 1
- 11
- 2
- 1
- 1
- 3
- 4
- 2
- 11
- 10
- 6
- 5
- 2
- 1
- 1
- 1
- 1
- 11
- 10
- 6
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
11 résultats
|
|
|
triés par
|
A Secure Protocol for Tracking Customer Flow[Contract] INRIA Sophia-Antipolis Méditerranée, équipe LOGNET. 2012, (rapport final) 60 p. + (appendix) 15 p
Rapport
hal-00909692v1
|
|||
|
|
LFP – A Logical Framework with External Predicates7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP 2012. Copenhagen, Denmark - September 9, 2012, Sep 2012, Copenhagen, Denmark. pp.13-22, ⟨10.1145/2364406.2364409⟩
Communication dans un congrès
hal-01146691v1
|
||
|
|
LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using MonadsLogical Methods in Computer Science, 2017, Special Issue in honor of Pierre Louis Curien
Article dans une revue
hal-01146059v2
|
||
|
|
A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks28th Annual ACM Symposium on Applied Computing, SAC 13, Coimbra, Portugal, ACM press, 2013., Mar 2013, coimbra, Portugal. pp.649-651, ⟨10.1145/2480362.2480485⟩
Communication dans un congrès
hal-00906835v1
|
||
|
|
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring LocksLFMTP'15. 9th International Workshop on Logical Frameworks and Meta-languages, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.185.1⟩
Communication dans un congrès
hal-01170029v1
|
||
|
|
An Open Logical FrameworkJournal of Logic and Computation, 2013, 25 (2), 43 p. ⟨10.1093/logcom/ext028⟩
Article dans une revue
hal-00906391v1
|
||
|
|
LFP – A Logical Framework with External Predicates (Announcement and survey)Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Nov 2013, Tel Aviv, Israel
Communication dans un congrès
hal-00906807v2
|
||
|
|
HOCore in CoqInteractive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_19⟩
Communication dans un congrès
hal-01243017v1
|
||
|
|
Analyzing the exhaustiveness of the synapse protocolPeer-to-Peer Networking and Applications, 2015, Includes a Special Issue on Cloud, Grid, P2P, and Internet Computing, 8 (5), pp.793--806. ⟨10.1007/s12083-014-0293-z⟩
Article dans une revue
hal-01146050v1
|
||
|
|
An Extension and Cooperation Mechanism for Heterogeneous Overlay NetworksHets-Nets. Future Heterogeneous Networks, May 2012, Prague, Czech Republic. pp.10-18, ⟨10.1007/978-3-642-30039-4_2⟩
Communication dans un congrès
hal-00909486v1
|
||
|
|
Plugging-in Proof Development Environments using Locks in LFMathematical Structures in Computer Science, 2018, 28 (9), pp.1578--1605
Article dans une revue
hal-01272647v1
|