En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 68Q42 32 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The mathematical theory of l systems Rozenberg, Grzegorz ; Salomaa, Arto | Academic Press 1980

Ouvrage

- 352 p.
Cote : 00005057
grammaire d'itérations # homomorphisme unique itéré # langage formel # plusieurshomomorphisme itérés # substitution finie simple itérée # système iL # systèmes DOL,OL,EOL,TOL,ETOL # théorie mathématique des systèmes L

03D05 ; 68Q42 ; 68Q45 ; 68Q50

Localisation : Ouvrage RdC (ROZE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algebraic and logic programming :
3rd international conference#2-4 Kirchner, H. ; Levi, G. | Springer-Verlag 1992

Congrès

- 457 p.
Cote : 00015260
arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog

68-06 ; 68N15 ; 68N17 ; 68Q40 ; 68Q42

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computer algebra :
EUROCAM'82, European computer algebra conference#April 5-7 Calmet, Jacques | Springer-Verlag 1982

Congrès

- 301 p.
Cote : 00008424
algorithme # algèbre informatique # application # règle de réécriture # structure algébrique # système # type de données abstraites

68-06 ; 68Q42 ; 68Q65 ; 68Qxx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computation with finitely presented groups Sims, Charles C. | Cambridge University Press 1994

Ouvrage

- 604 p.
Cote : 00017980
automate et langage rationnel # automate généralisé # base de Gröbner # base de module # calcul # groupe abélien # groupe fini # groupe finiment présenté # groupe polycyclique # groupe quotient # monoïde # procédure de Reidmester-Schreier # sous-groupe de produit libre de groupe cyclique # système de réécriture # théorie combinatoire des groupes # théorie des groupes # traitement des données # énumération de coset

03D45 ; 18Dxx ; 57M05 ; 68Q42 ; 68Qxx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Réécritures dans l'algèbre de Lie libre, le groupe libre et l'algèbre associative libre Melançon, Guy | Departement de Mathematiques Et Informatique ; Université du Québec 1991

Ouvrage


Cote : 00018453

08A50 ; 18Dxx ; 20F10 ; 68Q42 ; 68R15

Localisation : Ouvrage RdC (MELA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Nondeterminism in algebraic specifications and algebraic programs Hussmann, Heinrich | Birkhäuser 1993

Ouvrage

- 251 p.
Cote : 00019553
calcul algébrique # calcul informatique # calcul non déterministe # graphe # informatique théorique # processus de communication # protocole # réécriture de système # spécification algébrique # spécification non déterministe

68Q40 ; 68Q42 ; 68Q65 ; 68Q78 ; 68Qxx

Localisation : Ouvrage RdC (HUSS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Rewriting techniques and applications :
7th international conference RTA-96#July 27-30 Ganzinger, Harald | Springer 1996

Congrès

- 435 p.
Cote : 00020980
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes

68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computer science today :
recent trends and developments Van Leeuwen, Jan | Springer 1995

Congrès

- 642 p.
Cote : 00021469
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système parallèle # théorie de programmation # vérification de programme # vérification des systèmes[-]
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système ...[+]

68Q10 ; 68Q22 ; 68Q42 ; 68Q60 ; 68Qxx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Combinatorics on traces Diekert, Volker | Springer-Verlag 1990

Ouvrage

- 164 p.
Cote : 00022074
algorithmique de graphe # combinatoire # générateur # informatique théorique # mode de calcul # problème de mots # relation # réécriture des systèmes # semi-groupe libre # théorie des graphes

05C85 ; 20M05 ; 68Q10 ; 68Q42 ; 68R15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Multichannel optical networks :
Theory and practice dimacs workshop held at rutgers university#March 16-19 Du, Ding-Zhu ; Pardalos, Panos M. ; Wan, Peng-Jun | American Mathematical Society 1998

Congrès

- 249 p.
Cote : 00022133
algorithmique # classe de complexité # communication optique # complexité # informatique théorique # mathématique économique # mathématiques discrètes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche opérationnelle # réécriture de système # théorie de la décision

03B05 ; 68Q25 ; 68Q42 ; 68R10 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue