Paper Info
Title
Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples
Abstract
Nous décrivons ici un algorithme pour décider de l'équivalence dans un domaine dont les éléments sont définis par des systèmes d'équations au point fixe. Cet algorithme est utilisé pour trouver diverses représentations minimales des éléments du domaine.
Year
DOI
Venue
1974
10.1007/3-540-06841-4_61
ICALP
Keywords
Field
DocType
equations recursives simple,des expression
Combinatorics,Expression (mathematics),Computer science,Equivalence (measure theory)
Conference
ISBN
Citations 
PageRank 
3-540-06841-4
23
17.30
References 
Authors
4
3
Name
Order
Citations
PageRank
Bruno Courcelle13418388.00
Gilles Kahn21437340.18
Jean Vuillemin320495.25