On the logic of unification

Predicats et sous-types en LPG. Realisation de la E-unification

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

January 1985

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

A predicate transformer for unification

Colussi, L.
Marchiori, E.

January 1992

Contains fulltext : 84487.pdf (author's version ) (Open Access)Joint International...

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

Unification dans les melanges de theories equationnelles

Boudet, Alexandre

January 1990

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

Syntactic theory and unification

Klay, Francis
Kirchner, Claude
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

Paru dans Logic in computer science, 1989SIGLEAvailable at INIST (FR), Document Supply Service, unde...

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

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

January 1985

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

Order-sorted equational unification

Kirchner, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1988

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

Un operateur d'unification pour une machine base de connaissance PROLOG

Ianeselli, Jean-Christophe
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

SIGLECNRS T 57139 / 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

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

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

A natural reformulation of UNITY logics The NU system

Mery, Dominique
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

Publie dans : Proceedings 7th conference computer science logic, Springer Verlag, Kaiserslautern (RF...

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

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...

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

A logic for data and knowledge bases

Spyratos, Nicolas
Lecluse, Christophe
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1987

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

Predicats et sous-types en LPG. Realisation de la E-unification

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

January 1985

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

A predicate transformer for unification

Colussi, L.
Marchiori, E.

January 1992

Contains fulltext : 84487.pdf (author's version ) (Open Access)Joint International...

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

Unification dans les melanges de theories equationnelles

Boudet, Alexandre

January 1990

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

Syntactic theory and unification

Klay, Francis
Kirchner, Claude
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

Paru dans Logic in computer science, 1989SIGLEAvailable at INIST (FR), Document Supply Service, unde...

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

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

January 1985

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

Order-sorted equational unification

Kirchner, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1988

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

Un operateur d'unification pour une machine base de connaissance PROLOG

Ianeselli, Jean-Christophe
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

SIGLECNRS T 57139 / 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

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

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

A natural reformulation of UNITY logics The NU system

Mery, Dominique
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

Publie dans : Proceedings 7th conference computer science logic, Springer Verlag, Kaiserslautern (RF...

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

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...

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

A logic for data and knowledge bases

Spyratos, Nicolas
Lecluse, Christophe
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1987

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

Predicats et sous-types en LPG. Realisation de la E-unification

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

January 1985

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

A predicate transformer for unification

Colussi, L.
Marchiori, E.

January 1992

Contains fulltext : 84487.pdf (author's version ) (Open Access)Joint International...

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

Abstract

Extracted data

On the logic of unification

Abstract

Extracted data

Related items

Related items