Zum Inhalt springen

  3. Caltais, Georgiana [VerfasserIn]; Meyer, Bertrand [VerfasserIn]

    On the verification of SCOOP programs

    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.

    KOPS - The Institutional Repository of the University of Konstanz, 2017

    Erschienen in: Science of Computer Programming. 2017, 133(2), pp. 194-215. ISSN 0167-6423. eISSN 1872-7964. Available under: doi:10.1016/j.scico.2016.08.005

  4. Stehr, Mark-Oliver [VerfasserIn]; Talcott L., Carolyn [VerfasserIn] ; Mark-Oliver Stehr and Carolyn Talcott L. [MitwirkendeR]

    Practical Techniques for Language Design and Prototyping

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

  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. Carro, Manuel [VerfasserIn]; King, Andy [VerfasserIn]; Saeedloei, Neda [VerfasserIn]; De Vos, Marina [VerfasserIn] ; Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos [MitwirkendeR]

    OASIcs, Volume 52, ICLP'16, Complete Volume

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

  9. Chiba, Yuki [VerfasserIn]; Escobar, Santiago [VerfasserIn]; Nishida, Naoki [VerfasserIn]; Sabel, David [VerfasserIn]; Schmidt-Schauß, Manfred [VerfasserIn] ; Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schauß [MitwirkendeR]

    OASIcs, Volume 46, WPTE'15, Complete Volume

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

  10. Schmidt-Schauß, Manfred [VerfasserIn]; Sakai, Masahiko [VerfasserIn]; Sabel, David [VerfasserIn]; Chiba, Yuki [VerfasserIn] ; Manfred Schmidt-Schauß and Masahiko Sakai and David Sabel and Yuki Chiba [MitwirkendeR]

    OASIcs, Volume 40, WPTE'14, Complete Volume

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

  11. Mariño, Julio [VerfasserIn]

    Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6559

  15. Boucherit, Ammar [VerfasserIn]; Barkaoui, Kamel [VerfasserIn]; Osman, Hasan [VerfasserIn]

    An Enhanced Rewriting Logic Based Semantics for High Level Petri nets

    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: PNSE (2021 : Online): PNSE 2021: International Workshop on Petri Nets and Software Engineering 2021 ; (2021), Seite 155-174