All decks Close
All decks 19

  • deck

    Jan 22, 2020 0 0

  • PCF2ASP

    Sep 03, 2018 1,064 0

  • IDP2ASP

    Mar 15, 2018 1,339 0

  • deck

    Mar 06, 2017 1,211 0

  • Propagation Lazyness

    Feb 27, 2017 1,130 0

  • Second Oral Presentation

    Nov 15, 2016 1,386 0

  • Internal Language IDP4

    Nov 02, 2016 1,124 0

  • iclp16

    Oct 18, 2016 1,065 0

  • LambdASP

    Sep 01, 2016 1,036 0

  • RuleML: Autoconfig

    Jun 30, 2016 1,761 0

  • Why the Terminator can't fill in your tax form (yet)

    Feb 10, 2016 981 0

  • No more TL;DR!

    Jan 26, 2016 1,019 0

  • Compositional Logics

    Oct 29, 2015 1,083 0

  • A web-based IDE for IDP

    Aug 30, 2015 1,071 0

  • IDPD3

    Aug 30, 2015 1,017 0

  • Semantics of templates in a compositional framework for building logics

    Aug 20, 2015 1,260 0

  • SemanticsWIP

    Aug 05, 2015 1,194 0

  • DRYing the world

    Jun 02, 2015 1,119 0

  • Progress Report Phd

    Jun 05, 2014 1,304 0