Auteurs
Curation
Istex
Racine
Curation
Checkpoint
Istex
Racine
Istex
Exploration
Accueil
Racine
Racine

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

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 Jard < Claude Kirchner < Claude Laurenço  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 51.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000348 (1995) Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]Sort inheritance for order-sorted equational presentations
000487 (1998) Horatiu Cirstea [France] ; Claude Kirchner [France]The Rewriting Calculus as a Semantics of ELAN
000494 (1994) Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]Dynamically-typed computations for order-sorted equational presentations
000504 (1997) Claude Kirchner [France] ; Christophe Ringeissen [France]Higher-order equational unification via explicit substitutions
000507 (1988) Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]Equational completion in order-sorted algebras extended abstract
000573 (1988) Claude Kirchner [France] ; Hélène Kirchner [France] ; José Meseguer [États-Unis]Operational semantics of OBJ-3
000649 (2000) Peter Borovansk ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Marian VittekELAN
000674 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching Power
000853 (2000) Eric Domenjoud [France] ; Claude Kirchner [France] ; Jianyang Zhou [France]Generating Feasible Schedules for a Pick-up and Delivery Problem
000A55 (1992) Claude Kirchner [France] ; Patrick Viry [France]Implementing parallel rewriting
000A95 (1990) Mohamed Adi [France] ; Claude Kirchner [France]AC-unification race: The system solving approach and its implementation
000B51 (2007) Paul Brauner ; Clément Houtmann ; Claude KirchnerSuperdeduction at Work
000C89 (2007) Clara Bertolissi [France] ; Claude Kirchner [France]The Rewriting Calculus as a Combinatory Reduction System
000D51 (2002) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding Logic: Proofs and Models
000D67 (1984) Claude Kirchner [France, États-Unis]A New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm
000F68 (1983) Jean Pierre Jouannaud [France] ; Claude Kirchner [France] ; Helene Kirchner [France]Incremental construction of unification algorithms in equational theories
001096 (2006) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal Islands
001478 (2009) Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France]Inductive proof search modulo
001529 (1990) Claude Kirchner [France] ; Patrick Viry [France]Implementing parallel rewriting
001598 (2002) Quang Huy Nguyen ; Claude Kirchner ; Hélène KirchnerExternal Rewriting for Skeptical Proof Assistants
001636 (1988) Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Aristide Mégrelis [France]OBJ: Programming with equalities, subsorts, overloading and parameterization

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/Author.i -k "Claude Kirchner" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/Author.i  \
                -Sk "Claude Kirchner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Claude Kirchner
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022