Showing 1 - 5 results of 5 for search 'Fabio Zanasi', query time: 0.07s Refine Results
  1. 1
    Bialgebraic Semantics for Logic Programming

    Bialgebraic Semantics for Logic Programming by Filippo Bonchi, Fabio Zanasi

    Published 2015-03-01
    Get full text
    Article
  2. 2
    Universal Constructions for (Co)Relations: categories, monoidal categories, and props

    Universal Constructions for (Co)Relations: categories, monoidal categories, and props by Brendan Fong, Fabio Zanasi

    Published 2018-09-01
    Get full text
    Article
  3. 3
    A Finite Axiomatisation of Finite-State Automata Using String Diagrams

    A Finite Axiomatisation of Finite-State Automata Using String Diagrams by Robin Piedeleu, Fabio Zanasi

    Published 2023-02-01
    Get full text
    Article
  4. 4
    Coalgebraic Semantics for Probabilistic Logic Programming

    Coalgebraic Semantics for Probabilistic Logic Programming by Tao Gu, Fabio Zanasi

    Published 2021-04-01
    Get full text
    Article
  5. 5
    Equivalence checking for weak bi-Kleene algebra

    Equivalence checking for weak bi-Kleene algebra by Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

    Published 2021-08-01
    Get full text
    Article

Search Tools: