Mostrando recursos 141 - 160 de 10.473

  1. Wreath Products of Forest Algebras, with Applications to Tree Logics

    Bojanczyk, Mikolaj; Straubing, Howard; Walukiewicz, Igor
    International audience

  2. Polynomial Precise Interval Analysis Revisited

    Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
    International audience

  3. Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata

    Duparc, Jacques; Facchini, Alessandro; Murlak, Filip
    International audience

  4. Une Logique pour Raisonner sur la Protection des Données Personnelles

    Piolle, Guillaume; Demazeau, Yves
    National audience

  5. Addressing Temporal Aspects of Privacy-Related Norms

    Piolle, Guillaume; Demazeau, Yves
    International audience

  6. Obligations with deadlines and maintained interdictions in privacy regulation frameworks

    Piolle, Guillaume; Demazeau, Yves
    International audience

  7. Argumentation studies and discourse analysis : the French situation and global perspectives

    Plantin, Christian
    This article focuses on the development of argumentation studies in France and their complex relations with discourse analysis. First, the meanings of the basic word 'argument' in French and in American English are discussed and contrasted. Second, a brief historical section summarizes the complex history of rhetorical argumentation in France up until the late 1980s and the Perelmanian revival. Third, Grize 'natural logic' and Anscombre and Ducrot 'argumentation within language' are briefly discussed from the discourse analysis point of view. These programmes have restored argumentation study to favour in France, where it is currently the research paradigm most referred to...

  8. Argumentation studies and discourse analysis : the French situation and global perspectives

    Plantin, Christian
    This article focuses on the development of argumentation studies in France and their complex relations with discourse analysis. First, the meanings of the basic word 'argument' in French and in American English are discussed and contrasted. Second, a brief historical section summarizes the complex history of rhetorical argumentation in France up until the late 1980s and the Perelmanian revival. Third, Grize 'natural logic' and Anscombre and Ducrot 'argumentation within language' are briefly discussed from the discourse analysis point of view. These programmes have restored argumentation study to favour in France, where it is currently the research paradigm most referred to...

  9. DL-liteR in the Light of Propositional Logic for Decentralized Data Management

    Abdallah, Nada; Goasdoué, François; Rousset, Marie-Christine
    International audience

  10. Towards Modular Algebraic Specifications for Pointer Programs: a Case Study

    Marché, Claude

  11. Proving Operational Termination of Membership Equational Programs

    Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
    International audience

  12. Floats & Ropes: a case study for formal numerical program verification

    Boldo, Sylvie
    International audience

  13. A multi-level logic programming model of a query optimizer

    Finance, Béatrice; Bielikova, M.; Molnar, L.; Navrat, P.; Smolarova, M.; Tang, Zhao-Hui
    International audience

  14. Modular inference of subprogram contracts for safety checking

    Moy, Yannick; Marché, Claude
    International audience

  15. A refinement methodology for object-oriented programs

    Tafat, Asma; Boulmé, Sylvain; Marché, Claude
    International audience

  16. Formal verification of numerical programs: from C annotated programs to Coq proofs

    Boldo, Sylvie
    International audience

  17. Hardware-independent proofs of numerical programs

    Boldo, Sylvie; Nguyen, Thi Minh Tuyen
    International audience

  18. C'est la faute à l'ordinateur !

    Boldo, Sylvie
    National audience

  19. L'informatique

    Boldo, Sylvie
    Web TV de la cité des sciences

  20. Ground Associative and Commutative Completion Modulo Shostak Theories

    Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed
    International audience

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.