Filtrer vos résultats
- 13
- 5
- 9
- 3
- 3
- 2
- 1
- 2
- 15
- 3
- 2
- 1
- 1
- 1
- 3
- 1
- 3
- 4
- 2
- 2
- 1
- 17
- 1
- 9
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
18 résultats
|
|
triés par
|
|
Algebras of Relations : from algorithms to formal proofsComputation and Language [cs.CL]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSE1198⟩
Thèse
tel-01455083v1
|
||
|
Decidability of Identity-free Relational Kleene LatticesVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès
hal-01099137v1
|
||
|
A Kleene theorem for nominal automata2019
Pré-publication, Document de travail
hal-02112892v1
|
||
|
A formal exploration of Nominal Kleene AlgebraMFCS, Aug 2016, Cracovie, Poland. ⟨10.4230/LIPIcs.MFCS.2016.22⟩
Communication dans un congrès
hal-01307532v2
|
||
|
Cardinalities of Finite Relations in Coq with ApplicationsInterative Theorem Proving, Aug 2016, Nancy, France. pp.466-474, ⟨10.1007/978-3-319-43144-4_29⟩
Communication dans un congrès
hal-01441262v2
|
||
Smiling Virtual Characters CorporaWorkshop on Corpora for Research on Emotion, Sentiment and Social Signals, LREC, May 2012, Istambul, Turkey
Communication dans un congrès
hal-02411902v1
|
|||
|
A note on commutative Kleene algebra2019
Pré-publication, Document de travail
hal-02337084v1
|
||
|
Decidability of Identity-free Relational Kleene Lattices[Research Report] ENS de Lyon. 2014
Rapport
hal-01073932v1
|
||
|
A complete axiomatisation of reversible Kleene lattices2019
Pré-publication, Document de travail
hal-02024864v2
|
||
|
Petri automata for Kleene allegoriesLogic in Computer Science, Jul 2015, Kyoto, Japan. pp.68-79, ⟨10.1109/LICS.2015.17⟩
Communication dans un congrès
hal-01073936v3
|
||
Efficient silicon nitride SiN x :H antireflective and passivation layers deposited by atmospheric pressure PECVD for silicon solar cellsProgress in Photovoltaics, 2018, 27 (11), pp.1007-1019. ⟨10.1002/pip.3141⟩
Article dans une revue
hal-02409765v1
|
|||
|
Kleene Algebra with ConverseRAMiCS, Apr 2014, Marienstatt im Westerwald, Germany. pp.101-118
Communication dans un congrès
hal-00938235v1
|
||
Petri AutomataLogical Methods in Computer Science, 2017, 13 (3), pp.1-50. ⟨10.23638/LMCS-13(3:33)2017⟩
Article dans une revue
hal-01934638v1
|
|||
|
Reversible Kleene lattices42nd International Symposium on Mathematical Foundations of Computer Science, Kim G. Larsen, Aug 2017, Aalborg, Denmark. pp.66:1--66:14, ⟨10.4230/LIPIcs.MFCS.2017.66⟩
Communication dans un congrès
hal-01474911v3
|
||
L'occupation Bronze ancien de Chelles, Boulevard Chilpéric, SGP gare ligne 16 - Phases 1, 2 et 3, Seine-et-Marne (77). Île de FranceInrap - Centre ïle-de-France. 2022
Rapport
hal-03867989v1
|
|||
|
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra[Research Report] University College London. 2020
Rapport
hal-02337757v2
|
||
|
The Sciences ACO Light and Matter Museum37th International Conference on High Energy Physics, Jul 2014, Valencia, Spain. pp.1202-1207, ⟨10.1016/j.nuclphysbps.2015.09.189⟩
Communication dans un congrès
hal-03621743v1
|
||
|
On Decidability of Concurrent Kleene AlgebraCONCUR, Sep 2017, Berlin, Germany
Communication dans un congrès
hal-01558108v1
|