Tesis doctoral de bernhard Gramlich

Información academica bernhard Gramlich. Tesis donde bernhard Gramlich ha sido autor, director o parte del tribunal.

Towards a framework for proving termination of maude programs

Tesis doctoral de Beatriz Alarcón Jiménez Maude is a declarative programming language based on rewriting logic that incorporates many features […]

Beatriz Alarcón Jiménez, bernhard Gramlich, claude Marché, María Alpuente Frasnedo, pierre Lescanne, salvador Lucas alba

Termination of rewriting with mon-monotonic ordering

Tesis doctoral de Mirtha Lina Fernandez Venero This thesis is intended to provide a first step on the study of

bernhard Gramlich, Fernando Orejas Valdés, Guillermo Godoy Balil, jean-pierre Jouannaud, Mirtha Lina Fernandez Venero, salvador Lucas