Filtrer vos résultats
- 23
- 3
- 14
- 7
- 1
- 1
- 1
- 1
- 1
- 21
- 14
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 4
- 24
- 2
- 10
- 6
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 26
- 8
- 5
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
26 résultats
|
|
|
triés par
|
|
|
Building Safe Multi-Agent Applications by Formalising the Deployment Environment2nd International Joint Conference on Autonomous Agents and Multiagent Systems, Safe Agents Workshop - AAMAS 2003, Jul 2003, Melbourne, Australia
Communication dans un congrès
hal-02402423v1
|
||
|
|
Termination orders for 3-polygraphsComptes rendus de l'Académie des sciences. Série I, Mathématique, 2006, 342(4), pp.219-222. ⟨10.1016/j.crma.2005.12.019⟩
Article dans une revue
hal-00092196v1
|
||
|
|
Coherent presentations of Artin monoidsCompositio Mathematica, 2015, 151 (5), pp.957-998. ⟨10.1112/S0010437X14007842⟩
Article dans une revue
hal-00682233v4
|
||
|
|
Rewriting methods in higher algebraCategory Theory [math.CT]. Université Paris 7, 2019
HDR
tel-02161197v1
|
||
|
|
Two polygraphic presentations of Petri netsTheoretical Computer Science, 2006, 360(1-3), pp.124-146. ⟨10.1016/j.tcs.2006.02.015⟩
Article dans une revue
hal-00092209v1
|
||
|
|
Polygraphic programs and polynomial-time functionsLogical Methods in Computer Science, 2009, 5 (2:14), pp.1-37. ⟨10.2168/LMCS-5(2:14)2009⟩
Article dans une revue
inria-00122932v3
|
||
|
|
Higher-dimensional normalisation strategies for acyclicityAdvances in Mathematics, 2012, 231 (3-4), pp.2294-2351. ⟨10.1016/j.aim.2012.05.010⟩
Article dans une revue
hal-00531242v3
|
||
|
|
Intensional properties of polygraphs4th International Workshop on Computing with Terms and Graphs - TERMGRAPH 2007, Mar 2007, Braga, Portugal. ⟨10.1016/j.entcs.2008.03.034⟩
Communication dans un congrès
inria-00129391v3
|
||
|
|
Polygraphs for termination of left-linear term rewriting systems2007
Autre publication scientifique
inria-00129392v1
|
||
|
|
Présentations d'opérades et systèmes de réécritureAutre [cs.OH]. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français. ⟨NNT : ⟩
Thèse
tel-00006863v1
|
||
|
|
Higher-dimensional categories with finite derivation typeTheory and Applications of Categories, 2009, 22 (18), pp.420-478. ⟨10.48550/arXiv.0810.1442⟩
Article dans une revue
hal-00326974v2
|
||
|
|
Termination orders for 3-dimensional rewritingJournal of Pure and Applied Algebra, 2006, 207(2), pp.341-371. ⟨10.1016/j.jpaa.2005.10.011⟩
Article dans une revue
hal-00092204v1
|
||
|
|
Coherence in monoidal track categoriesMathematical Structures in Computer Science, 2012, 22 (6), pp.931-969. ⟨10.1017/S096012951100065X⟩
Article dans une revue
hal-00470795v2
|
||
|
|
Structure algébrique pour des environnements à entités interactionnelles et mobilesSixièmes rencontres des Jeunes Chercheurs en Intelligence Artificielle - RJCIA'2003, Jul 2003, Le Mans, France
Communication dans un congrès
hal-02402393v1
|
||
|
|
Coherent presentations of monoids with a right-noetherian Garside familyJournal of Homotopy and Related Structures, 2023, 18, pp.115-152. ⟨10.1007/s40062-023-00323-4⟩
Article dans une revue
hal-03276119v4
|
||
|
|
Polygraphs: From Rewriting to Higher CategoriesIn press, London Mathematical Society Lecture Note Series
Ouvrages
hal-04322821v1
|
||
|
|
Polygraphs of finite derivation typeMathematical Structures in Computer Science, 2018, 28 (2), pp.155-201. ⟨10.1017/S0960129516000220⟩
Article dans une revue
hal-00932845v2
|
||
|
|
The three dimensions of proofsAnnals of Pure and Applied Logic, 2006, 141(1-2), pp.266-295. ⟨10.1016/j.apal.2005.12.012⟩
Article dans une revue
hal-00092212v1
|
||
Building Safe Multi-Agent Applications by Formalizing the Deployment EnvironmentAAMAS WorkshopIn Agent Oriented Software Engineering, pp.P nd
Communication dans un congrès
lirmm-00269818v1
|
|||
|
|
A Homotopical Completion Procedure with Applications to Coherence of MonoidsRTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩
Communication dans un congrès
hal-00818253v1
|
||
|
|
Identities among relations for higher-dimensional rewriting systemsSéminaires et congrès, 2013, 26, pp.145-161
Article dans une revue
hal-00426228v2
|
||
|
|
MIC*: Algebraic Agent EnvironmentISMIS: International Symposium on Methodologies for Intelligent Systems, Oct 2003, Maebashi City, Japan. pp.216-220, ⟨10.1007/978-3-540-39592-8_30⟩
Communication dans un congrès
istex
lirmm-00269811v1
|
||
|
|
MIC*: A Deployment Environment for Autonomous AgentsDanny Weyns; H. Van Dyke Parunak; Fabien Michel. Environments for Multi-Agent Systems : First International Workshop, E4MAS 2004, New York, NY, July 19, 2004, Revised Selected Papers, 3374, Springer, pp.109-126, 2005, Lecture Notes in Computer Science, 978-3-540-24575-9. ⟨10.1007/978-3-540-32259-7_6⟩
Chapitre d'ouvrage
istex
hal-02403948v1
|
||
|
|
Quadratic normalisation in monoidsInternational Journal of Algebra and Computation, 2016, 26 (5), pp.935-972. ⟨10.1142/S0218196716500399⟩
Article dans une revue
hal-01141226v2
|
||
|
|
Convergent presentations and polygraphic resolutions of associative algebrasMathematische Zeitschrift, 2019, 293 (1-2), pp.113-179. ⟨10.1007/s00209-018-2185-z⟩
Article dans une revue
hal-01006220v3
|
||
Confluence of linear rewriting and homology of algebras3rd International Workshop on Confluence, Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01105087v1
|