Search CORE

18 research outputs found

CEYX,a multiformalism programming environment

Author: Hullot J.M.
Publication venue: HAL CCSD
Publication date: 01/05/1983
Field of study

INRIA a CCSD electronic archive server

Alcyone: la boite a outils objets

Author: Hullot J.M.
Publication venue: HAL CCSD
Publication date: 01/11/1985
Field of study

INRIA a CCSD electronic archive server

CEYX-Version 15.II : programmer en CEYX

Author: Hullot J.M.
Publication venue: HAL CCSD
Publication date: 01/02/1985
Field of study

INRIA a CCSD electronic archive server

CEYX-Version 15.I : une initiation

Author: Hullot J.M.
Publication venue: HAL CCSD
Publication date: 01/02/1985
Field of study

INRIA a CCSD electronic archive server

Proofs by induction in equational theories with constructors

Author: Huet Gérard
Hullot J.M.
Publication venue: HAL CCSD
Publication date: 01/01/1980
Field of study

pas de résum

INRIA a CCSD electronic archive server

Le_Lisp,a portable and efficient Lisp system

Author: Chailloux J.
Devin M.
Hullot J.M.
Publication venue: HAL CCSD
Publication date: 01/07/1984
Field of study

INRIA a CCSD electronic archive server

Le systeme LUCIFER d'aide a la conception de circuits integres

Author: Chailloux J.
Hullot J.M.
Levy Jean-Jacques
Vuillemin J.
Publication venue: HAL CCSD
Publication date: 01/03/1983
Field of study

INRIA a CCSD electronic archive server

Graph-based implementation of a functional logic language

Author: D.A. Turner
D.E. Knuth
E. Giovannetti
G. Lindstrom
H. Hussmann
J.M. Hullot
M. Bellia
N. Dershowitz
P.G. Bosco
U.S. Reddy
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Using neural networks for recognizing matching among terms

Author: Alberto Paccanaro
C.L. Chang
Carlos Mareco
J.M. Hullot
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Termination by absence of infinite chains of dependency pairs

Author: B. Gramlich
H. Zantema
H. Zantema
J. Steinbach
J.H. Siekmann
J.M. Hullot
J.W. Klop
M. Ferreira
M. Hanus
N. Dershowitz
S. Hölldobler
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core