Skip to contents

  3. Kammerer-Rutten, Ursula [Contributor]; Schleyer-Lindenmann, Alexandra [Contributor]; Schwarzer, Beatrix [Contributor]; Wang, Yafang [Contributor]

    Transnational social work and social welfare : challenges for the social work profession

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Abingdon, Oxon; New York, N.Y.: Routledge,, 2016

    Published in: Routledge advances in social work

  4. Schwarzer, Beatrix [Editor]; Kämmerer-Rütten, Ursula [Editor]; Schleyer-Lindenmann, Alexandra [Editor]; Wang, Yafang [Editor]

    Transnational Social Work and Social Welfare : Challenges for the Social Work Profession

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: Taylor & Francis, 2016

    Published in: Routledge Advances in Social Work

  5. Schwarzer, Beatrix [Author] ; Kämmerer-Rütten, Ursula [Editor]; Schleyer-Lindenmann, Alexandra [Editor]; Wang, Yafang [Editor]

    Transnational Social Work and Social Welfare : Challenges for the Social Work Profession

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: Taylor & Francis, 2016

  6. Bonchi, Filippo [Author]; Bonsangue, Marcello [Author]; Caltais, Georgiana [Author]; Rutten, Jan [Author]; Silva, Alexandra [Author]

    A coalgebraic view on decorated traces

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Mathematical Structures in Computer Science. 2016, 26(07), pp. 1234-1268. ISSN 0960-1295. eISSN 1469-8072. Available under: doi:10.1017/S0960129514000449

  7. Bonchi, Filippo [Author]; Bonsangue, Marcello [Author]; Caltais, Georgiana [Author]; Rutten, Jan [Author]; Silva, Alexandra [Author]

    Final Semantics for Decorated Traces

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Electronic Notes in Theoretical Computer Science. 2012, 286, pp. 73-86. ISSN 1571-0661. Available under: doi:10.1016/j.entcs.2012.08.006

  8. Silva, Alexandra [Author]; Bonchi, Filippo [Author]; Bonsangue, Marcello M. [Author]; Rutten, Jan J. M. M. [Author] ; Alexandra Silva and Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten [Contributor]

    Generalizing the powerset construction, coalgebraically

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  11. Bonsangue, Marcello [Author]; Caltais, Georgiana [Author]; Goriac, Eugen-Ioan [Author]; Lucanu, Dorel [Author]; Rutten, Jan [Author]; Silva, Alexandra [Author]

    Automatic equivalence proofs for non-deterministic coalgebras

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Science of Computer Programming. 2013, 78(9), pp. 1324-1345. ISSN 0167-6423. eISSN 1872-7964. Available under: doi:10.1016/j.scico.2012.07.001

  14. Bonsangue, Marcello [Author]; Caltais, Georgiana [Author]; Goriac, Eugen-Ioan [Author]; Lucanu, Dorel [Author]; Rutten, Jan [Author]; Silva, Alexandra [Author]

    A Decision Procedure for Bisimilarity of Generalized Regular Expressions

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  17. Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan

    Non-Deterministic Kleene Coalgebras

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Centre pour la Communication Scientifique Directe (CCSD), 2010

    Published in: Logical Methods in Computer Science