Zobrazeno 1 - 10 of 39 pro vyhledávání: '"Théories algébriques"'
1
Exploration de corpus de documents archéologiques à l'aide de théories algébriques
Autor: Bénel, Aurélien, Calabretto, Sylvie
Publikováno v: Escuela interlatina de altos estudios en linguistica aplicada, Segundo seminario, San Millan de la Cogolla, La Rioja, Espana, 19-23 Septiembre 2000
Escuela interlatina de altos estudios en linguistica aplicada, Segundo seminario
Escuela interlatina de altos estudios en linguistica aplicada, Segundo seminario, Sep 2000, San Millan de la Cogolla, La Rioja, Espagne. pp.343-350
International audience
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dde7b2055130c47ed5a4074d8c8ee8a2
https://hal-utt.archives-ouvertes.fr/hal-02954836
Zobrazit plný text záznamu
2
From dependent type theory to higher algebraic structures
Autor: Leena Subramaniam, Chaitanya
Publikováno v: Category Theory [math.CT]. Université de Paris, 2021. English
PhD Thesis, 155 pages, in English (with English and French introductions); The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We ch
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::35fbba14c93d5644c403f8f38aa60981
https://tel.archives-ouvertes.fr/tel-03369103/document
Zobrazit plný text záznamu
3
Théories à types dépendants et algèbre de dimension supérieure
Autor: Leena Subramaniam, Chaitanya
Publikováno v: Category Theory [math.CT]. Université de Paris, 2021. English
The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We characterise dependently typed algebraic theories as finitary monads on certa
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::35fbba14c93d5644c403f8f38aa60981
https://tel.archives-ouvertes.fr/tel-03369103/document
Zobrazit plný text záznamu
4
Dissertation/ Thesis
Critères de finitude homologique pour la non convergence des systèmes de réécriture de termes
Autor: Malbos, Philippe
L'algorithme de complétion de Knuth-Bendix permet, dans certainscas, d'utiliser les systèmes de réécriture pour décider leproblème du mot dans un monoïde. Le problème du mot est alorsréduit a un calcul de forme normale. Cependant, tous les m
Externí odkaz: http://tel.archives-ouvertes.fr/tel-00008784
http://tel.archives-ouvertes.fr/docs/00/04/78/57/PDF/tel-00008784.pdf
Zobrazit plný text záznamu
5
Critères de finitude homologique pour la non convergence des systèmes de réécriture de termes
Autor: Philippe Malbos
Publikováno v: Mathématiques [math]. Université Montpellier II-Sciences et Techniques du Languedoc, 2004. Français
HAL
We construct homological finiteness conditions for the existence of finite type convergent presentations by rewriting of one-sorted and first-order equational theories. An equational theory is semantically described by an algebraic theory in the sens
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::98bb2d256044d62fdcf990247a696245
https://tel.archives-ouvertes.fr/tel-00008784
Zobrazit plný text záznamu
6
On the Algebra of Structural Contexts
Autor: Lamarche, François
Publikováno v: Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2003, 51 p
Mathematical Structures in Computer Science, 2003, 51 p
Article dans revue scientifique avec comité de lecture.; We discuss a general way of defining contexts in linear logic, based on the observation that linear universal algebra can be symmetrized by assigning an additional variable to represent the ou
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::98291b7a90f6164e4818253479ddea91
https://hal.inria.fr/inria-00099461/document
Zobrazit plný text záznamu
7
Akademický článek
L'idée de la logique formelle dans les appendices VI à X du volume 12 des Husserliana (1970).
Autor: Isaac, Manuel Gustavo1 (AUTHOR) isaac.manuelgustavo@gmail.com
Publikováno v: History & Philosophy of Logic. Nov2015, Vol. 36 Issue 4, p321-345. 25p.
Zobrazit plný text záznamu
8
Dissertation/ Thesis
Linéarisation de structures algébriques à l'aide d'opérades et de foncteurs polynomiaux : Les équivalences quadratiques et la formule de Baker-Campbell-Hausdorff pour les variétés 2-nilpotentes
Autor: Defourneau, Thibault
Le travail de thèse contribue à établir des liens entre structures algébriques non-linéaires, décrites par des théories algébriques, et des structures algébriques linéaires, encodées par des algèbres sur une opérade linéaire. Pour les t
Externí odkaz: http://www.theses.fr/2017VALE0024/document
Zobrazit plný text záznamu
9
Akademický článek
Mille et une nuits d'un insomniaque à travers "Géométrie d'un rêve " d'Hubert Haddad.
Autor: Saba, Mona Edouard1
Publikováno v: Annals of the Faculty of Arts. 2013, Vol. 41, p507-567. 61p.
Zobrazit plný text záznamu
10
Akademický článek
Bachelard et la pulsation mathématique. (German)
Autor: Guitart, René
Publikováno v: Revue de Synthèse; 2016, Vol. 136 Issue 1/2, p33-74, 42p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje