Showing 1 - 4 results of 4 for search 'Turi, Daniele', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Initial algebra and final coalgebra semantics for concurrency

    Initial algebra and final coalgebra semantics for concurrency by Rutten, Jan J., Turi, Daniele

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    On the foundations of final semantics non-standard sets, metric spaces, partial orders

    On the foundations of final semantics non-standard sets, metric spaces, partial orders by Rutten, Jan J., Turi, Daniele

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Logic programs with negation classes, models, interpreters

    Logic programs with negation classes, models, interpreters by Turi, Daniele

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Extending S-interpretations to logic programs with negation

    Extending S-interpretations to logic programs with negation by Turi, Daniele

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: