Also, parts of their logical induction paper were published/presented at TARK-2017, which is a reasonable fit for the paper, and a respectable though not a top conference.
Oh I haven’t seen that publication on their website. If it was a peer-reviewed publication, that would indeed be something (and a kind of stuff I’ve been looking for). Could you please link to the publication?
Also, parts of their logical induction paper were published/presented at TARK-2017, which is a reasonable fit for the paper, and a respectable though not a top conference.
Oh I haven’t seen that publication on their website. If it was a peer-reviewed publication, that would indeed be something (and a kind of stuff I’ve been looking for). Could you please link to the publication?
Here’s a link: http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.16
Cool, thanks!