m

Documents  Critères de recherche : "Algebraic logic" | enregistrements trouvés : 7

O
     

-A +A

P Q

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

- 278 p.
ISBN 978-3-540-50667-6

Lecture notes in computer science , 0343

Localisation : Collection 1er étage

algèbre # grammaire # langage de programmation # logique mathématique # programmation logique # reécriture des systèmes # technique de programmation

68N17 ; 68Q25

... Lire [+]

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


ISBN 978-0-444-88543-2

Colloquia mathematica societatis janos bolyai , 0054

Localisation : Colloque 1er étage (BUDA)

algebre cylindrique # logique algebrique # logique du premier ordre # logique module

03-06 ; 03Bxx

... Lire [+]

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

- 457 p.
ISBN 978-3-540-55873-6

Lecture notes in computer science , 0632

Localisation : Collection 1er étage

arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog

68-06 ; 68N15 ; 68N17 ; 68Q40 ; 68Q42

... Lire [+]

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


ISBN 978-3-540-05920-2

Lecture notes in mathematics , 0274

Localisation : Collection 1er étage

complexe co-tangent # déformation de torseur # formalisation des mathématiques constructives de Bishop # formalisme de dualité en géométrie algébrique # géométrie algébrique # hypothèse du continu # logique # schéma de groupe # système déductif et catégorie # théorie des faisceaux # topos classifiant # treillis continu

03-06 ; 03Exx ; 06B23 ; 14Axx ; 14L99

... Lire [+]

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

Research talks;Computer Science

In order to be interesting, algebras of finite graphs must have countable sets of operations. We adapt accordingly the notion of recognizability, defined usually for finitely generated algebras. We prove the recognizability theorem, saying that monadic second-order definable sets of graphs are recognizable, by means of infinite "fly-automata". These automata can be implemented and used for obtaining FPT algorithms with respect to clique-width or tree-width as parameter. The implementation issues will be exposed by I. Durand. In order to be interesting, algebras of finite graphs must have countable sets of operations. We adapt accordingly the notion of recognizability, defined usually for finitely generated algebras. We prove the recognizability theorem, saying that monadic second-order definable sets of graphs are recognizable, by means of infinite "fly-automata". These automata can be implemented and used for obtaining FPT algorithms with respect to clique-width or ...

... Lire [+]

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

- 356 p.
ISBN 978-0-387-96179-8

Problem books in mathematics

Localisation : Ouvrage RdC (GIND)

00A07 ; 03-01 ; 06-01

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

Z