Zum Inhalt springen

  8. Tirore, Dawit [VerfasserIn]; Bengtson, Jesper [VerfasserIn]; Carbone, Marco [VerfasserIn] ; Dawit Tirore and Jesper Bengtson and Marco Carbone [MitwirkendeR]

    A Sound and Complete Projection for Global Types

    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, 2023

  9. Xydis, Andreas [VerfasserIn]; Hampson, Christopher [VerfasserIn]; Modgil, Sanjay [VerfasserIn]; Black, Elizabeth [VerfasserIn]

    A Sound and Complete Dialogue System for Handling Misunderstandings

    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.

    2022

    Erschienen in: International Workshop on Systems and Algorithms for Formal Argumentation (4. : 2022 : Cardiff): SAFA 2022: the Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022 ; (2022), Seite 19-32

  12. You, Shu-Hung [VerfasserIn] ; Findler, Robert Bruce [Sonstige Person, Familie und Körperschaft]; Dimoulas, Christos [Sonstige Person, Familie und Körperschaft]

    Sound and Complete Concolic Testing for Higher-Order Functions

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Erschienen in: 30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)

  14. Conradie, Willem [VerfasserIn]; Monego, Riccardo [VerfasserIn]; Muñoz-Velasco, Emilio [VerfasserIn]; Sciavicco, Guido [VerfasserIn]; Stan, Ionel Eduard [VerfasserIn] ; Willem Conradie and Riccardo Monego and Emilio Muñoz-Velasco and Guido Sciavicco and Ionel Eduard Stan [MitwirkendeR]

    A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal 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, 2023

  15. Derrick, John [VerfasserIn]; Doherty, Simon [VerfasserIn]; Dongol, Brijesh [VerfasserIn]; Schellhorn, Gerhard [VerfasserIn]; Wehrheim, Heike [VerfasserIn]

    Verifying correctness of persistent concurrent data structures : a sound and complete method

    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.

    2021

    Erschienen in: Formal aspects of computing ; 33(2021), 4/5, Seite 547-573

  16. Hunsberger, Luke [VerfasserIn]; Posenato, Roberto [VerfasserIn] ; Luke Hunsberger and Roberto Posenato [MitwirkendeR]

    Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty

    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, 2018

  19. Pitman, Isaac Sir [VerfasserIn]

    A manual of phonography, or, Writing by sound : a natural method of writing by signs that represent the sounds of language, and adapted to the English language as a complete system of phonetic short hand - [People's ed]

    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.

    London: S. Bagster and Sons, 1845 ; Farmington Hills, Mich: Thomson Gale

  20. Dettmann, F. O. [VerfasserIn]

    Complete text-book of phono-stenography : being a method of shorthand writing by sound, based upon the system of W. Stolze; for self-instruction and use in public and private schools

    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: Dettmann, 18XX- ; New York: Steiger$B2.ed. ; London: Asher$B2.ed. ; Leipzic: Hermann$B2.ed. ; Online-Ausgabe, Dresden: SLUB, 2020