Relevant bibliographies by topics / Combinatoire / Journal articles
To see the other types of publications on this topic, follow the link: Combinatoire.

Journal articles on the topic 'Combinatoire'

Author: Grafiati
Published: 4 June 2021
Last updated: 12 October 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Combinatoire.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Sanz Espinar, Gemma. "Verbos de movimiento en un diccionario bilingüe sintáctico-combinatorio francés-español: TACTICOMB." Anales de Filología Francesa 28, no. 1 (October 23, 2020): 627–50. http://dx.doi.org/10.6018/analesff.430691.

Full text
Abstract:
Después de que Talmy (1985) y Slobin (2004) identificaran la existencia de tendencias en la conceptualización y la lexicalización de eventos de movimiento en las distintas lenguas, ha habido mucha investigación en esta materia en distintas áreas: Lingüística, Traducción, Adquisición de la Lengua Materna o Extranjera y Didáctica de las lenguas extranjeras. Como señalaba Slobin, la expresión del movimiento puede hacerse según las lenguas mediante la codificación de la trayectoria del movimiento o de la manera del movimiento en el verbo (Talmy), pero este no es el ´unico factor que permite explicitar cierta información o dejar otra implícita y conseguir un enunciado totalmente aceptable en una lengua. Nuestro objetivo es trasladar este tipo de conocimiento léxico a un diccionario sintáctico-combinatorio bilingüe, TACTICOMB, para una clase semántica de verbos que no parece implicar, en sus significados más "literales" ninguna combinatoria restringida (colocaciones), como la que puede verse en la mayoría de diccionarios de combinatoria. After Talmy (1985) and Slobin (2004) highlighted the existence of tendencies in conceptualization and lexicalization of motion events in languages, there has been a lot of research on this topic in different areas: Linguistics, Translation Studies, First and Second Language Acquisition or Second Language Teaching. As Talmy points out, the expression of motion has different tendencies in languages from highlighting the trajectory of motion to highlighting the manner of motion in the verb, but this is not the only factor (linguistic) that allows to make some notions explicit or to keep others implicit, in a discursively acceptable utterance (Slobin). Our aim is to try to transfer this kind of lexical knowledge into a bilingual syntactic-combinatorial dictionary, TACTICOMB, through the class of motion verbs that do not seem to involve, in their “literal” senses, a restricted combinatory (collocations) as appears in many combinatory dictionaries. Après les études de Talmy (1985) et de Slobin (2004) montrant les tendances dans la conceptualisation et la lexicalisation des procès de mouvement dans les langues, il y a eu de nombreuses recherches à ce sujet provenant de la Linguistique, la Traduction, l’Acquisition de la langue maternelle et étrangère ou la Didactique des langues étrangères. Comme le signale Talmy, l’expression du mouvement se fait différemment selon les langues, elles expriment dans le verbe soit la trajectoire, soit la manière du mouvement. Or ce n’est pas le seul facteur qui détermine la confluence d’información sur le mouvement dans un énoncé totalement acceptable dans la langue (Slobin). Notre objectif est de transposer ce type de connaissance lexicale à un dictionnaire syntactico-combinatoire bilingue, TACTICOMB. On l’illustrera pour la classe de verbes de mouvement qui ne semblent pas impliquer de combinatoire restreinte, dans leurs acceptions « littérales », comme c’est le cas pour beaucoup des dictionnaires de combinatoire.
APA, Harvard, Vancouver, ISO, and other styles
2

Hanoune, J. "L'endocrinologie combinatoire." médecine/sciences 9, no. 12 (1993): 1331. http://dx.doi.org/10.4267/10608/2860.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bimbó, Katalin. "The Church-Rosser property in dual combinatory logic." Journal of Symbolic Logic 68, no. 1 (March 2003): 132–52. http://dx.doi.org/10.2178/jsl/1045861508.

Full text
Abstract:
AbstractDual combinators emerge from the aim of assigning formulas containing ← as types to combinators. This paper investigates formally some of the properties of combinatory systems that include both combinators and dual combinators. Although the addition of dual combinators to a combinatory system does not affect the unique decomposition of terms, it turns out that some terms might be redexes in two ways (with a combinator as its head, and with a dual combinator as its head). We prove a general theorem stating that no dual combinatory system possesses the Church-Rosser property. Although the lack of confluence might be problematic in some cases, it is not a problem per se. In particular, we show that no damage is inflicted upon the structurally free logics, the system in which dual combinators first appeared.
APA, Harvard, Vancouver, ISO, and other styles
4

Patouillard, Victoire. "petite machine combinatoire." Vacarme 33, no. 4 (2005): 28. http://dx.doi.org/10.3917/vaca.033.0028.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Tartar, André. "La chimie combinatoire." Biofutur 1997, no. 168 (June 1997): 26–31. http://dx.doi.org/10.1016/s0294-3506(97)81533-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Munemasa, Akihiro, Gabriele Nebe, and Patrick Solé. "Arithmétique et Combinatoire." European Journal of Combinatorics 25, no. 4 (May 2004): 457. http://dx.doi.org/10.1016/j.ejc.2003.09.011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Magné, Bernard. "Machines à écrire, machine à lire." Études françaises 36, no. 2 (February 11, 2008): 119–28. http://dx.doi.org/10.7202/005258ar.

Full text
Abstract:
Résumé Cet article décrit la structure et le fonctionnement du CD-ROM Machines à écrire, réalisé par Antoine Denize et Bernard Magné. Mettant en scène (en écran) deux textes combinatoires de Raymond Queneau (« Un conte à votre façon », « Cent mille milliards de poèmes ») et un de Georges Perec (« Deux cent quarante-trois cartes postales ») et permettant l'exploration de la littérature combinatoire des grands rhétoriqueurs à nos jours, Machines à écrire offre à la fois un nouveau mode d'approche des textes et l'occasion de réhabiliter une littérature trop souvent ignorée ou méprisée.
APA, Harvard, Vancouver, ISO, and other styles
8

Lethuillier, Jacques. "Combinatoire, terminologies et textes." Meta: Journal des traducteurs 36, no. 1 (1991): 92. http://dx.doi.org/10.7202/003504ar.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chemillier, Marc. "Ruse et combinatoire tsiganes." L'Homme, no. 211 (July 7, 2014): 117–28. http://dx.doi.org/10.4000/lhomme.23627.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chazal, Gérard. "Symbolisme minimal & combinatoire." Les cahiers de médiologie 9, no. 1 (2000): 141. http://dx.doi.org/10.3917/cdm.009.0141.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Mahé, Emmanuel. "Pour une recherche combinatoire." Hermès 72, no. 2 (2015): 217. http://dx.doi.org/10.3917/herm.072.0217.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Klein, Jean-Pierre. "L’être humain, combinatoire phénoménale." Perspectives Psy 43, no. 2 (April 2004): 124–29. http://dx.doi.org/10.1051/ppsy/2004432124.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Bergeron, François. "Une combinatoire du pléthysme." Journal of Combinatorial Theory, Series A 46, no. 2 (November 1987): 291–305. http://dx.doi.org/10.1016/0097-3165(87)90007-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Legrand, Remi. "A basis result in combinatory logic." Journal of Symbolic Logic 53, no. 4 (December 1988): 1224–26. http://dx.doi.org/10.1017/s0022481200028048.

Full text
Abstract:
The aim of this article is to show that a basis for combinatory logic [2] must contain at least one combinator with rank strictly greater than two. We use notation of [1].Let Q be a primitive combinator given by its reduction rule Qx1 … xn → C, where C is a pure combination of the variables x1,…, xn. n is called the rank of the combinator.A set {Q1,…,Qn} of combinators is a basis for combinatory logic if for every finite set {x1,…,xm} of variables and every pure combination C of these variables, there exists a pure combinator Q of Q1,…,Qn such that Qx1…xm↠C.Property. The Church-Rosser theorem and the (quasi-)normalization theorem are valid for the combinatory reduction system under consideration.Proof. See [4], [5], and [6].Any basis must contain at least one combinator with rank strictly greater than two.Let us assume a basis B with combinators of rank strictly less than 3; then there exists a pure combination X of the combinators in B such that: XABC ↠ CAB.(*) First of all, we remark that if XABC ↠ M ↠ CAB, M must contain at least one occurrence of each of the variables A, B and C.Notation. We denote by E[X1,…,Xn] expressions that contain at least one occurrence of every term X1,…,Xn.
APA, Harvard, Vancouver, ISO, and other styles
15

Bimbó, Katalin. "The Church-Rosser property in symmetric combinatory logic." Journal of Symbolic Logic 70, no. 2 (June 2005): 536–56. http://dx.doi.org/10.2178/jsl/1120224727.

Full text
Abstract:
AbstractSymmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the form of symmetric λ-calculus) is known to lack the Church-Rosser property. We prove a much stronger theorem that no symmetric combinatory logic that contains at least two proper symmetric combinatory has the Church-Rosser property. Although the statement of the result looks similar to an earlier one concerning dual combinatory logic, the proof is different because symmetric combinators may form redexes in both left and right associated terms. Perhaps surprisingly, we are also able to show that certain symmetric combinatory logics that include just one particular constant are not confluent. This result (beyond other differences) clearly sets apart symmetric combinatory logic from dual combinatory logic, since all dual combinatory systems with a single combinator or a single dual combinator are Church-Rosser. Lastly, we prove that a symmetric combinatory logic that contains the fixed point and the one-place identity combinator has the Church-Rosser property.
APA, Harvard, Vancouver, ISO, and other styles
16

Blumenthal, Peter. "Combinatoire des prépositions : approche quantitative." Langue française 157, no. 1 (2008): 37–51. http://dx.doi.org/10.3406/lfr.2008.6735.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Didier, Gilles. "Combinatoire des codages de rotations." Acta Arithmetica 85, no. 2 (1998): 157–77. http://dx.doi.org/10.4064/aa-85-2-157-177.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Blumenthal, Peter. "Combinatoire des prépositions : approche quantitative." Langue française 157, no. 1 (2008): 37. http://dx.doi.org/10.3917/lf.157.0037.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Demartini, Dominique. "Une combinatoire du récit médiéval." Cahiers de recherches médiévales et humanistes, no. 14 (December 15, 2007): 233–49. http://dx.doi.org/10.4000/crm.2683.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Millet, Mathias, and Daniel Thin. "La « déscolarisation » comme processus combinatoire." VEI enjeux 132, no. 1 (2003): 46–58. http://dx.doi.org/10.3406/diver.2003.1388.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Millet, Mathias, and Daniel Thin. "La « déscolarisation » comme processus combinatoire." Diversité 14, no. 1 (2012): 138–50. http://dx.doi.org/10.3406/diver.2012.7982.

Full text
Abstract:
La compréhension des processus de «déscolarisation» ne peut se réduire à la quête des facteurs déterminants. La présentation du parcours d’un collégien de milieu populaire permet d’analyser des articulations entre les différentes dimensions à l’oeuvre dans les parcours des élèves (problèmes familiaux, difficultés scolaires, relations de quartier, voire décisions institutionnelles) et de rendre compte des enchaînements conduisant à la «déscolarisation».
APA, Harvard, Vancouver, ISO, and other styles
22

BRODA, SABINE, and LUÍS DAMAS. "On combinatory complete sets of proper combinators." Journal of Functional Programming 7, no. 6 (November 1997): 593–612. http://dx.doi.org/10.1017/s0956796897002888.

Full text
Abstract:
A combinatory system (or equivalently the set of its basic combinators) is called combinatorially complete for a functional system, if any member of the latter can be defined by an entity of the former system. In this paper the decision problem of combinatory completeness for finite sets of proper combinators is studied for three subsystems of the pure lambda calculus. Precise characterizations of proper combinator bases for the linear and the affine λ-calculus are given, and the respective decision problems are shown to be decidable. Furthermore, it is determined which extensions with proper combinators of bases for the linear λ-calculus are combinatorially complete for the λI-calculus.
APA, Harvard, Vancouver, ISO, and other styles
23

Jay, Barry, and Thomas Given-Wilson. "A combinatory account of internal structure." Journal of Symbolic Logic 76, no. 3 (September 2011): 807–26. http://dx.doi.org/10.2178/jsl/1309952521.

Full text
Abstract:
AbstractTraditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable functions on the combinators themselves that cannot be so represented, because they access internal structure in ways that S and K cannot. Much of this expressive power is captured by adding a factorisation combinator F. The resulting SF-calculus is structure complete, in that it supports all pattern-matching functions whose patterns are in normal form, including a function that decides structural equality of arbitrary normal forms. A general characterisation of the structure complete, confluent combinatory calculi is given along with some examples. These are able to represent all their Turing-computable functions whose domain is limited to normal forms. The combinator F can be typed using an existential type to represent internal type information.
APA, Harvard, Vancouver, ISO, and other styles
24

Parham, Ramin. "Arc de crise et stratégie combinatoire." Outre-Terre 29, no. 3 (2011): 483. http://dx.doi.org/10.3917/oute.029.0483.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Bossé-Andrieu, Jacqueline, and Geneviève Mareschal. "Trois aspects de la combinatoire collocationnelle." TTR : traduction, terminologie, rédaction 11, no. 1 (February 26, 2007): 157–71. http://dx.doi.org/10.7202/037320ar.

Full text
Abstract:
Résumé Trois aspects de la combinatoire collocationnelle — Nous examinons ici trois aspects du lien qui unit les éléments des collocations, combinaisons qui se caractérisent par leur fréquence dans le discours et par leur prévisibilité pour le locuteur de langue maternelle. Nous montrons d'abord que la fréquence d'apparition simultanée de deux éléments dans le discours n'est pas propre aux collocations; la cooccurrence de deux éléments peut résulter de la réalité extralinguistique ou du fait qu'ils sont unis par un lien notionnel et référentiel. Dans le cas des collocations au sens strict, ce lien résulte d'une affinité consacrée par l'usage d'une communauté linguistique donnée. Nous montrons ensuite que, dans certaines collocations (ex. : en pleine croissance), il y a chevauchement — ou indissociabilité — des contraintes syntaxiques et des contraintes lexicales. Enfin, nous présentons plusieurs manifestations du caractère arbitraire — ou capricieux — du lien qui unit les éléments de certaines combinaisons : des quasi-synonymes n'appellent pas les mêmes collocatifs; sur le plan grammatical, on ne peut pas toujours passer d'une catégorie grammaticale à une autre (un sourire angélique,*sourire angéliquement); enfin des quasi-synonymes peuvent entrer dans certaines combinaisons synonymes {flambée/escalade des prix), mais non dans d'autres (les prix flambent/*les prix escaladent).
APA, Harvard, Vancouver, ISO, and other styles
26

Fusulier, Bernard. "L'articulation école/entreprise : une combinatoire incertaine." Formation Emploi 75, no. 1 (2001): 13–28. http://dx.doi.org/10.3406/forem.2001.2431.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Potamianou, Anna. "Emprise et dé-prise : une combinatoire." Revue française de psychanalyse 56, no. 5 (1992): 1519. http://dx.doi.org/10.3917/rfp.g1992.56n5.1519.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Desclés, Jean-Pierre, and Hee-Jin Ro. "Opérateurs aspecto-temporels et logique combinatoire." Mathématiques et sciences humaines, no. 194 (September 1, 2011): 39–70. http://dx.doi.org/10.4000/msh.12031.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Gernet, Jacques. "Logique du discours et logique combinatoire." Études chinoises 22, no. 1 (2003): 19–46. http://dx.doi.org/10.3406/etchi.2003.1323.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Bedaride, Nicolas. "Combinatoire du billard dans un polyèdre." Séminaire de théorie spectrale et géométrie 25 (2007): 1–15. http://dx.doi.org/10.5802/tsg.243.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Fleurent, Charles, and Jacques A. Ferland. "Algorithmes génétiques hybrides pour l'optimisation combinatoire." RAIRO - Operations Research 30, no. 4 (1996): 373–98. http://dx.doi.org/10.1051/ro/1996300403731.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Mercier, Armel. "Une Note sur les Coefficients Binomiaux de Gauss." Canadian Mathematical Bulletin 32, no. 3 (September 1, 1989): 340–43. http://dx.doi.org/10.4153/cmb-1989-049-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Costa, Andrea. "La Combinatoire juridique de Bernardus De Lavinheta." Dix-septième siècle 279, no. 2 (2018): 203. http://dx.doi.org/10.3917/dss.182.0203.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Barouki, Robert. "Environnement et santé : la combinatoire des expositions." Questions de santé publique, no. 26 (September 2014): 1–4. http://dx.doi.org/10.1051/qsp/2014026.

Full text
Abstract:
L’exposome représente l’ensemble des expositions couvrant la vie entière qui peuvent influencer la santé humaine. Il comprend les expositions physiques extérieures, le contexte psycho-social et les régulations du milieu intérieur. Ce nouveau concept englobe l’ensemble des facteurs de risque d’origine non génétique. De nouvelles méthodologies à large spectre (les « omiques ») permettent d’aborder, du moins partiellement, les différentes composantes de l’exposome. À titre d’illustration, l’étude des effets toxiques de tous les mélanges possibles de tous les produits chimiques de notre environnement n’est pas faisable de manière systématique. En revanche, si l’on aborde la question d’un point de vue mécanistique, le nombre de voies de toxicité biologiques est beaucoup plus limité et il est envisageable d’étudier les interactions entre ces différentes voies. Dans tous les cas de figure, il s’agit d’un grand défi scientifique pour les années à venir.
APA, Harvard, Vancouver, ISO, and other styles
35

Kaboré, Idrissa, and Théodore Tapsoba. "Combinatoire de mots récurrents de complexitén+2." RAIRO - Theoretical Informatics and Applications 41, no. 4 (September 25, 2007): 425–46. http://dx.doi.org/10.1051/ita:2007027.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Deloup, Florian. "Une description combinatoire du monoı̈de des enlacements." Comptes Rendus Mathematique 337, no. 4 (August 2003): 227–32. http://dx.doi.org/10.1016/s1631-073x(03)00308-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Vuillon, Laurent. "Combinatoire des motifs d'une suite sturmienne bidimensionnelle." Theoretical Computer Science 209, no. 1-2 (December 1998): 261–85. http://dx.doi.org/10.1016/s0304-3975(97)00117-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Patras, Frédéric. "De la combinatoire algébrique à la phénoménologie." Revue de Synthèse 138, no. 1-4 (January 9, 2017): 151–75. http://dx.doi.org/10.1007/s11873-000-0000-08.

Full text
Abstract:
Résumé Gian-Carlo Rota a su concilier un travail mathématique exemplaire et des recherches philosophiques largement inspirées par la phénoménologie husserlienne. Son œuvre philosophique nous semble avoir de fait deux composantes : l’une s’intéresse majoritairement à des phénomènes universels (beauté, démonstration, sens…). L’autre se déploie de façon plus subtile en filigrane de ses travaux mathématiques ; sans être thématisée comme telle – comme contribution philosophique –, elle alimente très lar-gement l’aura de Rota dans la communauté mathématique et justifie le rôle qu’il y joue de père fondateur d’une école combinatoire. L’analyse de ces différents moments de sa pensée permet de mieux en cerner les ressorts, l’unité et la portée.
APA, Harvard, Vancouver, ISO, and other styles
39

DAOUD, Miloud, and Sara OUSGHIR. "Lean startup, Effectuation et Design Thinking : quel modèle combinatoire de management d’innovation dans les startups ?" International Journal of Financial Accountability, Economics, Management, and Auditing (IJFAEMA) 3, no. 3 (June 28, 2021): 191–203. http://dx.doi.org/10.52502/ijfaema.v3i3.87.

Full text
Abstract:
Les startups interviennent sur des marchés où l’incertitude est forte. Elles doivent par conséquence adapter en permanence leur Business Model (BM) aux besoins et exigences de leurs parties prenantes induisant l’adoption de méthodes de management plus réactif et flexible. Ce papier a pour objet de citer une revue de littérature concernant les différentes méthodes de management de l’innovation dans les entreprises en mode start-up dans l’objectif de développer un modèle combinatoire liant les trois approches : Lean Startup, Effectuation et Design Thinking. Ce modèle combinatoire représente le processus qui fait appel aux différentes approches de management d’innovation permettant de réussir la création, le développement et la croissance de projets innovants.
APA, Harvard, Vancouver, ISO, and other styles
40

L’Homme, Marie-Claude. "Combinatoire spécialisée : trois perspectives et des enseignements pour la terminologie." TTR 30, no. 1-2 (May 31, 2019): 215–41. http://dx.doi.org/10.7202/1060025ar.

Full text
Abstract:
Les premiers travaux portant sur la combinatoire spécialisée remontent au milieu des années 1980 et coïncident avec le début d’une période de changements profonds survenus en terminologie, tant sur le plan théorique que méthodologique. Dans le présent article, je propose une rétrospective des idées maîtresses de ces travaux et de travaux plus récents. Je tente de montrer de quelle manière ils ont contribué à une meilleure compréhension du fonctionnement des termes, notamment de leur fonctionnement linguistique. J’ai regroupé ces travaux sous trois perspectives génériques (terminographique, textuelle et lexicographique), ce qui permet de dégager leurs apports principaux à la caractérisation de la combinatoire spécialisée ainsi qu’à la réflexion théorique en terminologie..
APA, Harvard, Vancouver, ISO, and other styles
41

Broda, Sabine, and Luís Damas. "Compact bracket abstraction in combinatory logic." Journal of Symbolic Logic 62, no. 3 (September 1997): 729–40. http://dx.doi.org/10.2307/2275570.

Full text
Abstract:
AbstractTranslations from Lambda calculi into combinatory logics can be used to avoid some implementational problems of the former systems. However, this scheme can only be efficient if the translation produces short output with a small number of combinators, in order to reduce the time and transient storage space spent during reduction of combinatory terms. In this paper we present a combinatory system and an abstraction algorithm, based on the original bracket abstraction operator of Schönfinkel [9]. The algorithm introduces at most one combinator for each abstraction in the initial Lambda term. This avoids explosive term growth during successive abstractions and makes the system suitable for practical applications. We prove the correctness of the algorithm and establish some relations between the combinatory system and the Lambda calculus.
APA, Harvard, Vancouver, ISO, and other styles
42

Bunder, M. W. "Expedited Broda-Damas bracket abstraction." Journal of Symbolic Logic 65, no. 4 (December 2000): 1850–57. http://dx.doi.org/10.2307/2695081.

Full text
Abstract:
AbstractA bracket abstraction algorithm is a means of translating λ-terms into combinators. Broda and Damas, in [1], introduce a new, rather natural set of combinators and a new form of bracket abstraction which introduces at most one combinator for each λ-abstraction. This leads to particularly compact combinatory terms. A disadvantage of their abstraction process is that it includes the whole Schönfinkel [4] algorithm plus two mappings which convert the Schönfinkel abstract into the new abstract. This paper shows how the new abstraction can be done more directly, in fact, using only 2n − 1 algorithm steps if there are n occurrences of the variable to be abstracted in the term. Some properties of the Broda-Damas combinators are also considered.
APA, Harvard, Vancouver, ISO, and other styles
43

Bellot, P. "A new proof for Craig's theorem." Journal of Symbolic Logic 50, no. 2 (June 1985): 395–96. http://dx.doi.org/10.2307/2274227.

Full text
Abstract:
Craig's theorem is a result about the cardinality of a proper basis for the theory of combinators. Its proof given in [3] was shown to be incomplete by André Chauvin [2]. By using a different approach, we give a very short proof of this theorem. We use the notation of [1].Definition 1. A combinator Q is proper if there exists a natural number n such that for arbitrary variables x1,…,xn we have the following contraction rule:where C is a pure combination of the variables x1,…,xn. Q is to be understood as an abstract symbol, not as a combination of S and K's. Therefore Q comes with a contraction rule.Definition 2. A set (Q1,…, Qm} of combinators is a basis for combinatory logic if for every finite set {x1,…, xk} of variables and every pure combination C of these variables, there exists a pure combination Q of Q1,…, Qm such that Qx1 … xk ↠ C.Craig's Theorem. Every basis for combinatory logic containing only proper combinators contains at least two elements.Proof. Let {Q} be a singleton basis for combinatory logic, and let us show that we cannot have combinatory completeness. This is an easy consequence of the next two lemmas.Lemma 1. Q is a projection. That is, Qx1 … xn ↠ xj, for some j.Proof. Let I be a proper combination of Q such that Ix ↠ x for a variable x, and let M be a term such that Ix ↠ M → x and M → x is a nontrivial contraction.
APA, Harvard, Vancouver, ISO, and other styles
44

Mejri, Salah. "Prédicats, sens, polylexicalité et figement : un parcours heuristique." Neophilologica 2019 35 (December 29, 2023): 1–40. http://dx.doi.org/10.31261/neo.2023.35.14.

Full text
Abstract:
Pour Gaston Gross, étudier rigoureusement la langue revient à en décrire, dans le cadre de la combinatoire libre, l’ensemble des emplois des unités lexicales moyennant l’établissement des paradigmes argumentaux impliqués dans les schémas d’arguments pour les prédicats et l’ensemble des prédicats appropriés pour les arguments. Cette démarche est complétée par la description des séquences figées dont la combinatoire interne est plus ou moins restreinte. L’auteur y consacre son ouvrage de 1996 et une partie de son manuel de 2012. Nous retenons dans cette contribution l’extrême richesse de la réflexion de l’auteur, notamment sur le plan heuristique, en partant des concepts de prédicat, de figement, de polylexicalité et d’opacité sémantique pour montrer combien les suggestions méthodologiques de Gaston Gross ont eu d’impact sur le développement de la discipline linguistique.
APA, Harvard, Vancouver, ISO, and other styles
45

Sablayrolles, Jean-François. "De la « néologie syntaxique » à la néologie combinatoire." Langages 183, no. 3 (2011): 39. http://dx.doi.org/10.3917/lang.183.0039.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Lerat, Pierre. "La combinatoire des termes. Exemple : nectar de fruits." HERMES - Journal of Language and Communication in Business 22, no. 42 (August 30, 2017): 211. http://dx.doi.org/10.7146/hjlcb.v22i42.96853.

Full text
Abstract:
Terminology is henceforth based on textual analysis, although its methodology remains paradigmatic. Concordances need to be interpreted, and a theory of combinations is needed. In this article, Harris’ (1968, 1976, 1988) « operator-argument » theory is used, though words, concepts and terms are strictly distinguished. Specialised texts are made up of words as are every text, but some of them denote special concepts, and these are terms. The case of nectar de fruits, as used in EU regulations and FAO Codex alimentarius and on corporate websites, is used to show the relevance of combinatory analysis of concepts and of terms in establishing the ontology of the fruit industry.
APA, Harvard, Vancouver, ISO, and other styles
47

Antoine CHAMBERT-LOIR. "Relations de Hodge-Riemann et combinatoire des matroïdes." Astérisque 414 (2019): 309–38. http://dx.doi.org/10.24033/ast.1088.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Foata, Dominique. "Une méthode combinatoire pour l’étude des fonctions spéciales." Mathématiques et sciences humaines, no. 179 (September 1, 2007): 85–100. http://dx.doi.org/10.4000/msh.6953.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Lass, Bodo. "Démonstration combinatoire de la formule de Harer–Zagier." Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 333, no. 3 (August 2001): 155–60. http://dx.doi.org/10.1016/s0764-4442(01)02049-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Bergeron, François. "Combinatoire des Polynômes Orthogonaux Classiques: une Approche Unifiée." European Journal of Combinatorics 11, no. 5 (September 1990): 393–401. http://dx.doi.org/10.1016/s0195-6698(13)80022-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Combinatoire' for other source types:
Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography