Senizergues, Géraud, 1957-....
Géraud Sénizergues
VIAF ID: 59171692 ( Personal )
Permalink: http://viaf.org/viaf/59171692
Preferred Forms
- 100 0 _ ‡a Géraud Sénizergues
- 100 0 _ ‡a Géraud Sénizergues
- 200 _ | ‡a Senizergues ‡b Géraud ‡f 1957-....
- 100 1 _ ‡a Senizergues, Géraud, ‡d 1957-....
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Analysis of the cofinite planar graphs led by their groups of symmetries. | |
Apprentissage de grammaires catégorielles : transducteurs d'arbres et clustering pour induction de grammaires catégorielles | |
Automated analysis of equivalence properties for cryptographic protocols. | |
Contribution to the theory of tile languages. | |
Étude algorithmique de complexes simpliciaux infinis | |
Etude de la stratégie de réécriture de termes k-bornée | |
Etude des graphes planaires cofinis selon leurs groupes de symétries | |
Ground stack tree rewriting and traces of counter systems. | |
A high-level syntactic formalism for natural language processing. | |
Isomorphisms and automorphisms of context-free, equational and automatic graphs. | |
Jeux de typage et analyse de lambda-grammaires non-contextuelles | |
Learning categorial grammars. | |
Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues | |
Réécriture d'arbres de piles et traces de systèmes à compteurs | |
Régularité et contraintes de descendance : équations algébriques. | |
Study of the k-bounded term rewriting strategy. | |
Sur la description des langages algébriques déterministes par des systèmes de réécriture confluents |