POPL 2020

A Coq Library of Undecidable Problems

Sep 17, 2020

|

36 views

ACM SIGPLAN

Details

Presenter: Yannick Forster Presented at CoqPL'20, colocated with POPL 2020.

Category: POPL 2020

Comments

loading...

Reactions (0) | Note

📝 No reactions yet

Be the first one to share your thoughts!

Reactions(0)

Note

loading...

Recommended

ICAPS 2012: Session VIa on "Probabilistic and Non-Deterministic Planning"

ICAPS | Aug 18, 2014

ICAPS 2012: Session VIIa on "Probabilistic and Non-Deterministic Planning II"

ICAPS | Aug 18, 2014

ICAPS 2012: Session VIIb on "Heuristic Search"

ICAPS | Aug 18, 2014

ICAPS 2012: Session IIIa on "Robot Path Planning"

ICAPS | Aug 18, 2014

ICAPS 2012: DC Posters & System Demos

ICAPS | Aug 18, 2014