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.
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.
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.
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;Computer Science;Logic and Foundations
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.
Ecoles de recherche;Computer Science;Logic and Foundations
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.
- 208 p.
ISBN 978-3-540-11205-1
Lecture notes in computer science , 0129
Localisation : Collection 1er étage
logique # logique temporelle # parallèle # preuve # programmation parallèle # preuve de programme # valet # vérification de programme
03B45 ; 03B70 ; 03Cxx ; 68Q10 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-83-85116-92-9
Banach center publications , 0028
Localisation : Salle des périodiques 1er étage
informatique théorique # logique de la programmation
03B70 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 232 p.
ISBN 978-2-225-81967-4
Etudes et recherches en informatique
Localisation : Ouvrage RdC (AUDU)
algorithme parallèle # logique modale # logique temporelle # parallèle # programme parallèle # programme séquentiel # système distribué # sémantique # validation de programmes # vérification de programme
03B45 ; 03B70 ; 68Q55 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 336 p.
Pure and applied mathematics , 0017
Localisation : Ouvrage RdC (KURA)
calcul # calcul différentiel # calcul intégral # dérivation intégration # fonction # logique mathématique # séquence # série # théorie des fonctions
03B70 ; 26A24 ; 26Bxx ; 28Bxx ; 40Axx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 287 p.
ISBN 978-2-225-81900-1
Logique mathématiques informatique , 0003
Localisation : Ouvrage RdC (MARG)
Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité
03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 301 p.
ISBN 978-3-540-56254-2
EATCS monographs on theoretical computer science
Localisation : Ouvrage RdC (SCHM)
algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme
00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 273 p.
ISBN 978-0-521-58386-2
Cambridge tracts in theoretical computer science , 0044
Localisation : Ouvrage RdC (BARW)
apprentissage et système adaptatif # informatique théorie # langage naturel # linguistique # logique # logique algébrique # logique de programmation # logique non classique # logique quantique # philosophie # système distribué # théorie du calcul informatique # traitement de l'information # traitement des données électroniques
03-02 ; 03A05 ; 03B60 ; 03B65 ; 03B70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 179 p.
ISBN 978-1-881526-83-4
Csli lecture notes , 0073
Localisation : Ouvrage RdC (BREW)
intelligence artificielle # logique de programmation # logique non classique
03B60 ; 03B70 ; 68T27
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 377 p.
ISBN 978-0-13-770009-7
Prentice Hall international series in computer science
Localisation : Ouvrage RdC (LALE)
logique # réduction # résolution # informatique théorique # programmation logique # programmation fonctionnelle # calcul lambda # modèle # calculabilité # réécriture # complexité # théorie du calcul sémantique
68-02 ; 03B40 ; 03B70 ; 03C05 ; 68N17 ; 68Q42
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 303 p.
ISBN 978-2-10-004446-7
Localisation : Enseignement RdC (DEHO)
mathématique de l'informatique # informatique # enseignement # exercice # arbre # langage # monoïde # groupe libre # automate # grammaire formelle # arbre de dérivation machine de Turing # fonction récursive # complexité algorithmique # logique de Boole # logique booléenne # logique # langage algébrique
68-01 ; 03B70 ; 03B10 ; 03G05 ; 68Q30 ; 68Q45 ; 68Q55
... Lire [+]