Suchergebnisse - Guiraud, Yves

1

Polygraphs of finite derivation type von GUIRAUD, YVES, MALBOS, PHILIPPE

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Coherent presentations of monoids with a right-noetherian Garside family von Curien, Pierre-Louis, Ɖurić, Alen, Guiraud, Yves

Veröffentlicht in Journal of homotopy and related structures

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Higher-dimensional normalisation strategies for acyclicity von Guiraud, Yves, Malbos, Philippe

Veröffentlicht in Advances in mathematics (New York. 1965)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Convergent presentations and polygraphic resolutions of associative algebras von Guiraud, Yves, Hoffbeck, Eric, Malbos, Philippe

Veröffentlicht in Mathematische Zeitschrift

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Polygraphic programs and polynomial-time functions von Bonfante, Guillaume, Guiraud, Yves

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Coherent presentations of Artin monoids von Gaussent, Stéphane, Guiraud, Yves, Malbos, Philippe

Veröffentlicht in Compositio mathematica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Coherence in monoidal track categories von GUIRAUD, YVES, MALBOS, PHILIPPE

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Termination orders for three-dimensional rewriting von Guiraud, Yves

Veröffentlicht in Journal of pure and applied algebra

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Two polygraphic presentations of Petri nets von GUIRAUD, Yves

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Higher-dimensional categories with finite derivation type von Guiraud, Yves, Malbos, Philippe

Veröffentlicht in Theory and applications of categories

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

The three dimensions of proofs von Guiraud, Yves

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Termination orders for 3-dimensional rewriting von Guiraud, Yves

Veröffentlicht in Journal of pure and applied algebra

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Termination orders for 3-polygraphs von Guiraud, Yves

Veröffentlicht in Comptes rendus. Mathématique

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Coherent presentations of monoids with a right-noetherian Garside family von Curien, Pierre-Louis, Ðurić, Alen, Guiraud, Yves

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Polygraphs: From Rewriting to Higher Categories von Ara, Dimitri, Burroni, Albert, Guiraud, Yves, Malbos, Philippe, Métayer, François, Mimram, Samuel

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Polygraphs of finite derivation type von Guiraud, Yves, Malbos, Philippe

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Quadratic normalisation in monoids von Dehornoy, Patrick, Guiraud, Yves

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Coherent presentations of monoids with a right-noetherian Garside family von Pierre-Louis Curien, Ðurić, Alen, Guiraud, Yves

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Convergent presentations and polygraphic resolutions of associative algebras von Guiraud, Yves, Hoffbeck, Eric, Malbos, Philippe

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

MIC: A Deployment Environment for Autonomous Agents von Gouaïch, Abdelkader, Michel, Fabien, Guiraud, Yves

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Polygraphs of finite derivation type von GUIRAUD, YVES, MALBOS, PHILIPPE

Coherent presentations of monoids with a right-noetherian Garside family von Curien, Pierre-Louis, Ɖurić, Alen, Guiraud, Yves

Higher-dimensional normalisation strategies for acyclicity von Guiraud, Yves, Malbos, Philippe

Convergent presentations and polygraphic resolutions of associative algebras von Guiraud, Yves, Hoffbeck, Eric, Malbos, Philippe

Polygraphic programs and polynomial-time functions von Bonfante, Guillaume, Guiraud, Yves

Coherent presentations of Artin monoids von Gaussent, Stéphane, Guiraud, Yves, Malbos, Philippe

Coherence in monoidal track categories von GUIRAUD, YVES, MALBOS, PHILIPPE

Termination orders for three-dimensional rewriting von Guiraud, Yves

Two polygraphic presentations of Petri nets von GUIRAUD, Yves

Higher-dimensional categories with finite derivation type von Guiraud, Yves, Malbos, Philippe

The three dimensions of proofs von Guiraud, Yves

Termination orders for 3-dimensional rewriting von Guiraud, Yves

Termination orders for 3-polygraphs von Guiraud, Yves

Coherent presentations of monoids with a right-noetherian Garside family von Curien, Pierre-Louis, Ðurić, Alen, Guiraud, Yves

Polygraphs: From Rewriting to Higher Categories von Ara, Dimitri, Burroni, Albert, Guiraud, Yves, Malbos, Philippe, Métayer, François, Mimram, Samuel

Polygraphs of finite derivation type von Guiraud, Yves, Malbos, Philippe

Quadratic normalisation in monoids von Dehornoy, Patrick, Guiraud, Yves

Coherent presentations of monoids with a right-noetherian Garside family von Pierre-Louis Curien, Ðurić, Alen, Guiraud, Yves

Convergent presentations and polygraphic resolutions of associative algebras von Guiraud, Yves, Hoffbeck, Eric, Malbos, Philippe

MIC: A Deployment Environment for Autonomous Agents von Gouaïch, Abdelkader, Michel, Fabien, Guiraud, Yves

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle