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 03B40 36 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

Combinatorics on words
progress and perspectives proceedings of an international meeting
Aug. 16-22 Cummings, Larry J. | Academic Press 1983

Congrès


Cote : 00007672
automate et grammaire # code et langage # combinatoire et énumération # combinatoire sur mot # suite de Thue # système de Thue

03B40 ; 05-06 ; 05A15 ; 54H20 ; 57Txx

Localisation : Colloque 1er étage (WATE)

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

Models of the lambda calculus Koymans, C. P. J. | Mathematisch Centrum 1984

Ouvrage

- 181 p.
Cote : 00008904

03B40 ; 68F20

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

Introduction to higher order categorical logic Lambek, J. ; Scott, P. J. | Cambridge University Press 1986

Ouvrage

- 293 p.
Cote : 00010818
catégorie # logique # logique mathématiques

03B15 ; 03B40 ; 03C35

Localisation : Ouvrage RdC (LAMB)

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

Mathematical logic and its applications
proceedings of and advanced international summer school and conference on ...,in honor of the 80th anniv. of kurt goldel Skordev, Dimiter G. | Plenum Press 1987

Congrès


Cote : 00011890
biographie # calcul lambda # logique # logique classique # logique de programmation # logique symbolique # progammation # programmation logique

03B40 ; 03B70 ; 03Exx ; 60Q40

Localisation : Colloque 1er étage (DRUZ)

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

Logic computer science :
lectures given at the first session of the centro internazionale matematico estivo c.i.m.e. held at montecatini terme#June 20-28 Homer, S. ; Nerode, A. ; Platek, R. A. ; Sacks, G. E. ; Scedrov, A. | Springer-Verlag 1990

Congrès

- 162 p.
Cote : 00013989
informatique # logique # théorie de la recursion

03B20 ; 03B40 ; 03B70 ; 03D15

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 logic :
computer science logic, 6th workshop, CSL'92#Sept. 28 - oct. 2 Borger, E. ; Jager, G. ; Kleine Buning, H. | Springer-Verlag 1993

Congrès

- 439 p.
Cote : 00017041
3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul linéaire # langage de programmation # langage de programmation C # langage fonctionnel # logique de base des preuves # logique du point fixe stratifiée # logique linéaire # machine Oracle à temps polynômial # machine de Turing # mathématique discrète # modèle catégorique # prauve de NP-complétude # problème NP-complet # problème d'optimisation NP # programmation logique fonctionnelle # programme de logique complet en négation # prédicat auxiliaire monadique # structuration algorithmique des preuves libres de coupure # sémantique des systèmes de transition comparative # sémantique opérationnelle[-]
3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul ...[+]

03B40 ; 03D10 ; 03D70 ; 18A15 ; 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

Logique réduction, résolution Lalement, René ; Demazure, Michel | Masson 1990

Ouvrage

- 370 p.
Cote : 00017455
algèbre et équation # calcul lambda # calculabilité # classification de problème # codage # complexité # décidabilité # logique de premier ordre # logique générale # logique équationnelle # meta programme # négation # preuve équationnelle # programmation fonctionnelle # programme logique # résolution # structure de contrôle # système de reécriture # sémantique # terminaison et confluence # théorie des modèles # unification # égalité et résolution

03B10 ; 03B25 ; 03B40 ; 03Cxx ; 68N17

Localisation : Ouvrage RdC (LALE)

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

Typed lambda calculi and applications :
third international conference on ..., TLCA '97 De Groote, Philippe ; Hindley, J. Roger | Springer 1997

Congrès

- 403 p.
Cote : 00020979
calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation

03B40 ; 68N15 ; 68N17 ; 68Nxx

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

Theories of types and proofs
two weeks MSJ regional workshoop on ... took place at Tokyo Institute of Technology
Sept. Dezani-Ciancaglini, Mariangiola ; Okada, Mitsuhiro ; Takahashi, Masako | Mathematical Society of Japan 1998

Congrès

- 295 p.
Cote : 00023308
arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types

03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05

Localisation : Colloque 1er étage (TOKY)

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

Diagonalization and self-reference Smullyan, Raymond M. | Clarendon Press 1996

Ouvrage

- 396 p.
Cote : 00023400
arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude

03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40

Localisation : Ouvrage RdC (SMUL)

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