m

Documents  Critères de recherche : "Algebra and logic" | enregistrements trouvés : 27

O

-A +A

P Q

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

- 410 p.
ISBN 978-0-387-10269-6

Lecture notes in mathematics , 0834

Localisation : Collection 1er étage

03Cxx

... Lire [+]

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

- 779 p.
ISBN 978-3-540-09564-4

Lecture notes in mathematics , 0753

Localisation : Collection 1er étage

03C90 ; 03G30 ; 14Fxx ; 18F20 ; 55N30

... Lire [+]

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


ISBN 978-3-88538-204-1

Research and exposition in mathematics , 0004

Localisation : Colloque 1er étage (DARM)

17B35

... Lire [+]

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


ISBN 978-0-444-87758-1

Colloquia mathematica societatis janos bolyai , 0042

Localisation : Colloque 1er étage (GYOR)

68-06 ; 68Qxx ; 68Rxx

... Lire [+]

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


ISBN 978-0-444-87758-1

Colloquia mathematica societatis janos bolyai , 0042

Localisation : Colloque 1er étage (GYOR)

68-06 ; 68Qxx

... Lire [+]

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.


ISBN 978-3-540-07152-5

Lecture notes in mathematics , 0450

Localisation : Collection 1er étage

action nilpotente sur groupe nilpotent # anneau commutatif # anneau de polynôme commutatif # anneau de série de puissance # classe d'axiome # forcing # logique et fondation # logique modale propositionnelle # système de remplacement # théorie de la dimension # théorie de récursion et algèbre # théorème de Church- Rosser # théorème de structure pour inverse semi-groupe

00-02 ; 00Bxx ; 01A05 ; 01A60 ; 03-03

... Lire [+]

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

Banach center publications , 0046

Localisation : Salle des périodiques 1er étage

algèbre de calcul # groupe de Lie # informatique théorique # logique mathématique # logique modale # renormalisation # structure de rafinement d'algèbre # théorie de la preuve # unification

00B30 ; 03-06

... Lire [+]

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


ISBN 978-0-8247-1970-8

Lecture notes in pure and applied mathematics , 0203

Localisation : Colloque 1er étage (BOGO)

arithmétique # combinatoire # logique # logique algébrique # logique de Lukaciewicz # logique du point fixe pour les structures arbitraires # modèle # preuve # spécification algébrique # stabilité dans les espaces de Banach # théorie de la complexité # théorie des ensembles # théorie du choix # théorème de normalisation de Gentzen # translation entre système logique

03-06

... Lire [+]

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

- 325 p.

Proceedings of the Steklov institute of mathematics , 0274

Localisation : Collection 1er étage

68-06 ; 03-06

... Lire [+]

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

- 257 p.
ISBN 978-83-86806-31-7

Banach center publications , 0108

Localisation : Salle des périodiques 1er étage

algèbre commutative # logique # théorie des nombres

00B25 ; 13-06 ; 03-06 ; 11-06

... Lire [+]

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

- xv; 702 p.
ISBN 978-1-138-40194-5

Lecture notes in pure and applied mathematics , 0180

Localisation : Colloque 1er étage (PONT)

logique # algèbre

00B25 ; 03-06 ; 08-06

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

- 245 p.
ISBN 978-0-444-11037-4

Studies in logic and the foundations of mathematics , 0085

Localisation : Ouvrage RdC (HAIL)

03G05 ; 60A99

... Lire [+]

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

- 258 p.
ISBN 978-0-8218-1797-1

American mathematical society translations series 2 , 0097

Localisation : Collection 1er étage

... Lire [+]

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

- 276 p.
ISBN 978-0-8218-1794-0

American mathematical society translations series 2 , 0094

Localisation : Collection 1er étage

... Lire [+]

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

- 284 p.

American mathematical society translations series 2 , 0059

Localisation : Collection 1er étage

... Lire [+]

Z