m

F Nous contacter

0

Documents  03B70 | enregistrements trouvés : 33

O

-A +A

P Q

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.

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... Lire [+]

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.

- vii; 229 p.
ISBN 978-1-4704-2303-2

Contemporary mathematics , 0677

Localisation : Collection 1er étage

logique mathématique # algèbre # informatique

20-XX ; 68-XX ; 00B25 ; 20-06 ; 68-06 ; 03B70

... 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.

Ecoles de recherche

03B70 ; 68P15 ; 68Q19

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Ecoles de recherche

68Q19 ; 03B70 ; 68P15

... 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.

- 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 [+]

Z