Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-12-198820-3
Localisation : Colloque 1er étage (WATE)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-306-42599-8
Localisation : Colloque 1er étage (DRUZ)
biographie # calcul lambda # logique # logique classique # logique de programmation # logique symbolique # progammation # programmation logique
03B40 ; 03B70 ; 03Exx ; 60Q40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 162 p.
ISBN 978-3-540-52734-3
Lecture notes in mathematics , 1429
Localisation : Collection 1er étage
informatique # logique # théorie de la recursion
03B20 ; 03B40 ; 03B70 ; 03D15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 439 p.
ISBN 978-3-540-56992-3
Lecture notes in computer science , 0702
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-05569-3
Lecture notes in mathematics , 0337
Localisation : Collection 1er étage
arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de priorité pour construction d'ensemble dénombrable # nombre chromatique de graphe et système d'ensemble # ordinal admissible et argument de priorité # relation régulière de Lindström # réalisabilité de combinateur d'analyse du type fini construc # sentence de Vaught # somme maximum d'une famille d'ordinal # théorie arithmétique de construction # théorie des ensembles ZF intuintioniste # théorie des ensembles descriptive # théorie des modèles modale # théorème de préservation pouro interprétation # ultrafiltre complet en descendant
arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de ...
03-02 ; 02C15 ; 03B40 ; 03F55 ; 03Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 403 p.
ISBN 978-3-540-62688-6
Lecture notes in computer science , 1210
Localisation : Collection 1er étage
calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation
03B40 ; 68N15 ; 68N17 ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 295 p.
ISBN 978-4-931469-02-0
Msj memoirs , 0002
Localisation : Colloque 1er étage (TOKY)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 181 p.
ISBN 978-90-6196-275-5
CWI tract , 0009
Localisation : Collection 1er étage
03B40 ; 68F20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 120 p.
ISBN 978-90-6196-147-5
Mathematical centre tracts , 0083
Localisation : Collection 1er étage
axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement
03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 317 p.
ISBN 978-90-6196-200-7
Mathematical centre tracts , 0127
Localisation : Collection 1er étage
calcul algébrique # calcul symbolique # informatique théorique # logique combinatoire # logique de programmation # logique symbolique # système formel
03B40 ; 68C01 ; 68C20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 188 p.
ISBN 978-90-6196-256-4
Mathematical centre tracts , 0160
Localisation : Collection 1er étage
automatique # lambda calcul # logique de la combinatoire
03B40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 293 p.
ISBN 978-0-521-24665-1
Cambridge studies in advanced mathematics , 0007
Localisation : Ouvrage RdC (LAMB)
catégorie # logique # logique mathématiques
03B15 ; 03B40 ; 03C35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 302 p.
ISBN 978-0-521-34632-0
Cambridge tracts in theoretical computer science , 0002
Localisation : Ouvrage RdC (PAUL)
calcul lambda # langage # logique # logique formelle
03B05 ; 03B10 ; 03B40 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 181 p.
ISBN 978-0-521-34589-7
Cambridge tracts in theoretical computer science , 0004
Localisation : Ouvrage RdC (REVE)
calcul lambda # programmation
03B40 ; 68R05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 434 p.
ISBN 978-0-632-01739-3
Computer science texts
Localisation : Ouvrage RdC (HENS)
langage fonctionnelle des éléments
03B40 ; 68Q45
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 58 p.
Séminaire de Mathématiques supérieures , 0052
Localisation : Salle de manutention
informatique # lambda calcul # langage # logique combinatoire # metalangage
03B40 ; 05-XX ; 68-XX ; 68N99 ; 68R05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 417 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (CURR)
fonctionnalité # lambda conversion # logique combinatoire # logique combinatoire illative # système formel # théorie intuitive des combinateurs # théorie synthétique des combinateurs # théorème de Church- Rosser # épithéorie
03B40 ; 03F10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 520 p.
ISBN 978-0-7204-2208-5
Studies in logic and the foundations of mathematics , 0065
Localisation : Ouvrage RdC (CURR)
arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires
03B15 ; 03B40
... Lire [+]
