back to root

back to PAAR 2020

Session 5: Jne 30, 18:00 - 19:30 (CET)

• Simon Cruanes

  2020-06-30 16:12:19 (GMT)

  I wonder if there's an extension of connection calculus with builtin treatment of equality

• Simon Cruanes

  2020-06-30 16:12:31 (GMT)

  Something like what Princess does with rigid E-unif, perhaps

• Michael Färber

  2020-06-30 16:26:13 (GMT)

  Question to Ben: Did you also compare EPICC with different leanCoP strategies (e.g. cut, nocut, nodef)?

• Michael Färber

  2020-06-30 16:26:49 (GMT)

  Thanks!

• Sophie Tourret

  2020-06-30 17:26:25 (GMT)

  A reference posted by @Stephan Schulz on the zoom chat relating to the third talk: (coded context trees) http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.7419&rep=rep1&type=pdf