Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvii-705 p.
ISBN 978-981-4401-52-4
World scientific proceedings series on computer engineering and information science , 5
Localisation : Colloque 1er étage (XIAN)
logique # logique floue # programmation # intelligence artificielle
03-06 ; 03Bxx ; 03B70 ; 03E72 ; 68Qxx ; 00B25
... 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.
- 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.
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.
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (HELS)
confirmation # information sémantique # logique du premier ordre # logique inductive # paradoxe
03B48 ; 03B65 ; 03B70 ; 60A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Ecoles de recherche
Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this lecture we survey some of the multiple connections between formal language theory and semi-structured data, in particular concerning the XML format. We will cover ranked and unranked tree automata, and its connections to Monadic Second Order logic, First Order logic, and XPath. The aim is to take a glimpse at the landscape of closure properties, algorithms and expressiveness results for these formalisms.
Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this lecture we survey some of the multiple connections between formal language theory and semi-structured data, in particular concerning the XML format. We will ...
68P15 ; 03B70
... 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.
Ecoles de recherche
Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this lecture we survey some of the multiple connections between formal language theory and semi-structured data, in particular concerning the XML format. We will cover ranked and unranked tree automata, and its connections to Monadic Second Order logic, First Order logic, and XPath. The aim is to take a glimpse at the landscape of closure properties, algorithms and expressiveness results for these formalisms.
Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this lecture we survey some of the multiple connections between formal language theory and semi-structured data, in particular concerning the XML format. We will ...
68P15 ; 03B70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 277 p.
ISBN 978-0-19-875959-1
Localisation : Ouvrage RdC (GODE)
Kurt Gödel # théorème d'incomplétude de Gödel # logique intuitionniste # philosophie # limite de la connaissance
03-06 ; 03A05 ; 03B42 ; 03B70 ; 03F40 ; 68Q55 ; 00B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 417 p.
ISBN 978-0-521-77911-1
Cambridge tracts in theoretical computer science , 0043
Localisation : Ouvrage RdC (TROE)
théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale
03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70
... 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.
- xxii; 833 p.
ISBN 978-0-521-76614-2
Perspectives in logic
Localisation : Ouvrage RdC (BARE)
lambda calcul # lambda-calcul simplement typé # type récursif # type intersection
03-00 ; 03B40 ; 03B70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xv; 322 p.
ISBN 978-0-691-16044-3
Localisation : Ouvrage RdC (LOVE)
théorie de la démonstration # théorie de la calculabilité # logique philosophique
03-01 ; 03A05 ; 03B70 ; 03D10 ; 03D20 ; 03F03
... 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.
- vii; 203 p.
ISBN 978-0-8218-7392-2
Student mathematical library , 0062
Localisation : Collection 1er étage
théorie de la recursivité # machine de Turing # complexité des calculs # logique de la programmation
03Dxx ; 68Qxx ; 03-01 ; 03D10 ; 03D15 ; 03D60 ; 03D80 ; 03B70 ; 68Q05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi, 275 p.
ISBN 978-2-85629-273-0
Panoramas et synthèses , 0027
Localisation : Collection 1er étage
Théorie de la démonstration # réalisabilité # machines abstraites # logique linéaire # sémantique des jeux
03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20
... 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.
- 243 p.
ISBN 978-3-540-62482-0
Lecture notes in artificial intelligence , 1187
Localisation : Ouvrage RdC (SCHL)
raisonnement logique # intelligence artificielle # logique informatique
03B60 ; 03B70 ; 68T27
... Lire [+]
