Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Proprietes arithmetiques des automates multidimensionnel

Salon, Olivier

Publication date

January 1989

Abstract

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

Extracted data

Related items

Arithmetique des corps quadratiques reels et fractions continues

Louboutin, Stephane

January 1987

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

Monoiedes d'Arbres et Automates d'Arbres

Podelski, Andreas

January 1989

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

Algorithmique discrete et reseaux d'automates

Pellegrin, Didier

January 1986

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

Majorations de fonctions arithmetiques en moyenne sur des ensembles de faible densite

Landreau, Bernard

January 1987

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

Sur la repartition des valeurs de certaines fonctions arithmetiques additives

Balazard, Michel

January 1987

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

Aspects algorithmiques du systeme de calcul arithmetique en multiprecision PARI

Batut, Christian

January 1989

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

Systeme automatique de caracterisation parametrique de composants semiconducteurs

Treglia, Robert

January 1989

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

Etude et realisation d'un co-processeur arithmetique en virgule flottante

Paez-Monzon, Gerard

January 1986

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

Automatisation de l'analyse mecanique des mecanismes

Yang, Huanqing
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1989

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

Mailleur 3D automatique pour des geometres complexes

Golgolab, Ardeshir
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

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Saoudi, Ahmed

January 1987

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

Integration de techniques numeriques et symboliques en apprentissage automatique

Manago, Michel

January 1988

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

Equites et automates en SCCS

Niar-Dinedane, Waffa

January 1988

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

Etude et realisation d'unconvertisseur analogique-numerique rapide a positionnementde gamme automatique

Marguet, Christine

January 1989

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

Arithmetique des corps quadratiques reels et fractions continues

Louboutin, Stephane

January 1987

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

Monoiedes d'Arbres et Automates d'Arbres

Podelski, Andreas

January 1989

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

Algorithmique discrete et reseaux d'automates

Pellegrin, Didier

January 1986

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

Majorations de fonctions arithmetiques en moyenne sur des ensembles de faible densite

Landreau, Bernard

January 1987

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

Sur la repartition des valeurs de certaines fonctions arithmetiques additives

Balazard, Michel

January 1987

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

Aspects algorithmiques du systeme de calcul arithmetique en multiprecision PARI

Batut, Christian

January 1989

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

Systeme automatique de caracterisation parametrique de composants semiconducteurs

Treglia, Robert

January 1989

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

Etude et realisation d'un co-processeur arithmetique en virgule flottante

Paez-Monzon, Gerard

January 1986

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

Automatisation de l'analyse mecanique des mecanismes

Yang, Huanqing
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1989

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

Mailleur 3D automatique pour des geometres complexes

Golgolab, Ardeshir
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

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Saoudi, Ahmed

January 1987

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

Integration de techniques numeriques et symboliques en apprentissage automatique

Manago, Michel

January 1988

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

Equites et automates en SCCS

Niar-Dinedane, Waffa

January 1988

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

Etude et realisation d'unconvertisseur analogique-numerique rapide a positionnementde gamme automatique

Marguet, Christine

January 1989

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

Arithmetique des corps quadratiques reels et fractions continues

Louboutin, Stephane

January 1987

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

Monoiedes d'Arbres et Automates d'Arbres

Podelski, Andreas

January 1989

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

Algorithmique discrete et reseaux d'automates

Pellegrin, Didier

January 1986

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