Zum Inhalt springen

  2. Barthe, Gilles [HerausgeberIn] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6602

  4. Alberti, Marco [VerfasserIn]; Gavanelli, Marco [VerfasserIn]; Lamma, Evelina [VerfasserIn] ; Marco Alberti and Marco Gavanelli and Evelina Lamma [MitwirkendeR]

    Runtime Addition of Integrity Constraints in an Abductive Proof Procedure

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  6. Hetzl, Stefan [VerfasserIn]; Straßburger, Lutz [VerfasserIn] ; Stefan Hetzl and Lutz Straßburger [MitwirkendeR]

    Herbrand-Confluence for Cut Elimination in Classical First Order Logic

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  8. Ahrens, Benedikt [VerfasserIn]; Hirschowitz, André [VerfasserIn]; Lafont, Ambroise [VerfasserIn]; Maggesi, Marco [VerfasserIn] ; Benedikt Ahrens and André Hirschowitz and Ambroise Lafont and Marco Maggesi [MitwirkendeR]

    Modular Specification of Monads Through Higher-Order Presentations

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  9. Maillard, Kenji [VerfasserIn] ; Paris Sciences et Lettres (ComUE) [MitwirkendeR]; Hriţcu, Cătălin [MitwirkendeR]

    Principes de la vérification de programmes à effets monadique arbitraires ; Principles of program verification for arbitrary monadic effects

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-11-25

  10. Danielsson, Nils Anders [VerfasserIn] ; Association for Computing Machinery

    Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2014

    Erschienen in: ACM Digital Library- ACM Conferences

  11. Leroy, Xavier [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Algorithms and Computation Theory

    Proceedings of the 2015 Conference on Certified Programs and Proofs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2015

    Erschienen in: ACM Conferences- ACM Digital Library

  12. Enjalbert, Patrice [VerfasserIn]

    Sur l'utilisation de la logique en sciences cognitives : questions de méthode

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 23, n° 2, pp. 193-217

  13. Mirzapour, Mehdi [VerfasserIn] ; Montpellier [MitwirkendeR]; Retoré, Christian [MitwirkendeR]; Prost, Jean-Philippe [MitwirkendeR]

    Modeling Preferences for Ambiguous Utterance Interpretations ; Modélisation de préférences pour l'interprétation d'énoncés ambigus

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-09-28

  14. Barrier, Thomas [VerfasserIn] ; Lyon 1 [MitwirkendeR]; Durand-Guerrier, Viviane [MitwirkendeR]

    Une perspective sémantique et dialogique sur l'activité de validation en mathématiques ; A semantic and dialogical perspective on the mathematical activity of validation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2009-12-07

  15. Ekici, Burak [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Dumas, Jean-Guillaume [MitwirkendeR]; Duval, Dominique [MitwirkendeR]

    Certification de programmes avec des effets calculatoires ; Certification of programs with computational effects

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-12-09

  16. Catta, Davide [VerfasserIn] ; Montpellier [MitwirkendeR]; Retoré, Christian [MitwirkendeR]; Moot, Richard [MitwirkendeR]; Quatrini, Myriam [MitwirkendeR]

    Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques ; Proofs as games and games as proofs : dialogical semantics of logical and natural languages

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-11-23

  20. Gesbert, Louis [VerfasserIn] ; Paris Est [MitwirkendeR]; Loulergue, Frédéric [MitwirkendeR]

    Développement systématique et sûreté d’exécution en programmation parallèle structurée ; Systematic development and safety of execution in structured parallel programming

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2009-03-05