Sign in
POPL 2020
Event Home
A Coq Library of Undecidable Problems
Sep 17, 2020
|
36 views
ACM SIGPLAN
Follow
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
22:26
ICAPS 2012: Session VIa on "Probabilistic and Non-Deterministic Planning"
ICAPS
| Aug 18, 2014
26:28
ICAPS 2012: Session VIIa on "Probabilistic and Non-Deterministic Planning II"
ICAPS
| Aug 18, 2014
18:25
ICAPS 2012: Session VIIb on "Heuristic Search"
ICAPS
| Aug 18, 2014
42:18
ICAPS 2012: Session IIIa on "Robot Path Planning"
ICAPS
| Aug 18, 2014
8:18
ICAPS 2012: DC Posters & System Demos
ICAPS
| Aug 18, 2014