An anti-unification approach to decide the sufficient completeness of algebraic specification

A constraint solver in finite algebras and its combination with unification algorithms

Kirchner, H.
Ringeissen, C.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Proceedings of the Joint International conference and Symposium on Logic Programming, p...

Algebraically closed theories

Badouel, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un automate d'unification pour la machine OPALE

Ianeselli, Jean-Christophe
Berger Sabbatel, Gilles
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1984

CNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

An anti-unification approach to decide the sufficient completeness of algebraic specifications (revised version)

Comon, H.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1986

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

On the logic of unification

Le Chedanec, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Unification dans les melanges de theories equationnelles

Boudet, Alexandre

January 1990

SIGLEINIST T 73381 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Solving equations in abstract algebras A rule-based survey of unification

Jouannaud, J.P.
Kirchner, C.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...

Completion for unification

Kirchner, Claude
Doggas, Narjes
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

Publie dans : Theoretical computer science, 1989 - <17243>SIGLEAvailable at INIST (FR), Docume...

Automatic proof methods for algebraic specification

Rusinowitch, Michael
Kounalis, Emmanuel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Publie dans : Proceedings 8th International Conference Fundamentals of Computation Theory, pages 307...

Unification in a combination of equational theories with shared constants and its application to primal algebras - Extended version

Ringeissen, Christophe
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Publie dans : Lecture Notes in Artificial Intelligence, Subseries of LNCS, 624SIGLEAvailable at INIS...

How to find the complexity of algebraic specifications ?

Schott, R.
Tajine, M.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10479 / INIST-CNRS - ...

An algebraic specification of a Pascal compiler

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique, Centre de Rocquencourt Le Chesnay (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Unification relationnelle des criteres d'association et structures optimales des tables de contingence

Messatfa, Hammou

January 1990

SIGLEINIST T 77213 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Putting algebraic components together : a dependent type approach

Reynaud, Jean-Claude
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660 / INIST-CNRS - Ins...

An algebraic design for the simultaneous stabilization of two systems

Fonte, Christophe
Bernier-Kazantsev, Christine
Zazadzinski, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1996

Theme 4b - Simulation et optimisation de systemes complexes - Projet NUMATHSIGLEAvailable at INIST (...

A constraint solver in finite algebras and its combination with unification algorithms

Kirchner, H.
Ringeissen, C.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Proceedings of the Joint International conference and Symposium on Logic Programming, p...

Algebraically closed theories

Badouel, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un automate d'unification pour la machine OPALE

Ianeselli, Jean-Christophe
Berger Sabbatel, Gilles
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1984

CNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

An anti-unification approach to decide the sufficient completeness of algebraic specifications (revised version)

Comon, H.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1986

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

On the logic of unification

Le Chedanec, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Unification dans les melanges de theories equationnelles

Boudet, Alexandre

January 1990

SIGLEINIST T 73381 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Solving equations in abstract algebras A rule-based survey of unification

Jouannaud, J.P.
Kirchner, C.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...

Completion for unification

Kirchner, Claude
Doggas, Narjes
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

Publie dans : Theoretical computer science, 1989 - <17243>SIGLEAvailable at INIST (FR), Docume...

Automatic proof methods for algebraic specification

Rusinowitch, Michael
Kounalis, Emmanuel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Publie dans : Proceedings 8th International Conference Fundamentals of Computation Theory, pages 307...

Unification in a combination of equational theories with shared constants and its application to primal algebras - Extended version

Ringeissen, Christophe
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Publie dans : Lecture Notes in Artificial Intelligence, Subseries of LNCS, 624SIGLEAvailable at INIS...

How to find the complexity of algebraic specifications ?

Schott, R.
Tajine, M.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10479 / INIST-CNRS - ...

An algebraic specification of a Pascal compiler

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique, Centre de Rocquencourt Le Chesnay (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Unification relationnelle des criteres d'association et structures optimales des tables de contingence

Messatfa, Hammou

January 1990

SIGLEINIST T 77213 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Putting algebraic components together : a dependent type approach

Reynaud, Jean-Claude
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660 / INIST-CNRS - Ins...

An algebraic design for the simultaneous stabilization of two systems

Fonte, Christophe
Bernier-Kazantsev, Christine
Zazadzinski, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1996

Theme 4b - Simulation et optimisation de systemes complexes - Projet NUMATHSIGLEAvailable at INIST (...

A constraint solver in finite algebras and its combination with unification algorithms

Kirchner, H.
Ringeissen, C.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Proceedings of the Joint International conference and Symposium on Logic Programming, p...

Algebraically closed theories

Badouel, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un automate d'unification pour la machine OPALE

Ianeselli, Jean-Christophe
Berger Sabbatel, Gilles
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1984

CNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

An anti-unification approach to decide the sufficient completeness of algebraic specification

Abstract

Extracted data

An anti-unification approach to decide the sufficient completeness of algebraic specification

Abstract

Extracted data

Related items

Related items