Auteurs
Curation
Crin
Racine
Curation
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Crin)

Index « Auteurs » - entrée « Peter Borovansky »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Pei Xiao < Peter Borovansky < Peter D. Mosses  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13. **** probable Xml problem ****
Ident.Authors (with country if any)Title
001A84 (1995) Peter BorovanskyImplementation of Higher-Order Unification based on Calculus of Explicit Substitution
001D35 (1997) Peter Borovansky ; Hélène KirchnerStrategies of ELAN : meta-interpretation and partial evaluation
001D36 (1997) Peter Borovansky ; Claude Kirchner ; Hélène KirchnerStrategies and rewriting in ELAN
002212 (1998) Peter Borovansky ; Claude Kirchner ; Hélène KirchnerRewriting as a Unified Specification Tool for Logic and Control : The ELAN Language
002216 (1998) Peter Borovansky ; Claude Kirchner ; Hélène KirchnerA functional view of rewriting and strategies for a semantics of ELAN
002340 (1998) Peter BorovanskyLe contrôle de la réécriture : étude et implantation d'un formalisme de stratégies
002372