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 « Claude Kirchner »
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.
Claude Inglebert < Claude Kirchner < Claude Laurenço  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 69.
[0-20] [0 - 20][0 - 50][20-40]**** probable Xml problem ****
Ident.Authors (with country if any)Title
001C06 (1996) Claude Kirchner ; Christopher Lynch ; Christelle ScharffA Fine-grained Concurrent Completion Procedure
001D06 (1997) Farid Ajili ; Claude KirchnerA Modular Framework for the Combination of Unification and Built-In Constraints
001D36 (1997) Peter Borovansky ; Claude Kirchner ; Hélène KirchnerStrategies and rewriting in ELAN
001F60 (1997) Claude Kirchner ; Christophe RingeissenHigher-Order Equational Unification via Explicit Substitutions
001F71 (1997) Eric Domenjoud ; Claude Kirchner ; Jianyang ZhouA method for solving vehicle routing and scheduling problems
002193 (1998) Eric Domenjoud ; Claude Kirchner ; Jianyang ZhouGenerating feasible schedules for a pick-up and delivery problem
002211 (1998) Claus Hintermeier ; Claude Kirchner ; Hélène KirchnerDynamically-Typed Computations for Order-Sorted Equational Presentations
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
002230 (1998) Claude Kirchner ; Hélène KirchnerAutomated Deduction - CADE-15
002266