C4.C — Two variable logic with ultimately periodic counting
Sign in
ICALP 2020
Event Home
C4.C — Two variable logic with ultimately periodic counting
Sep 23, 2020

39 views
Saarland Informatics Campus
Follow
Details
ICALPB 2020 Two variable logic with ultimately periodic counting Michael Benedikt, Egor V. Kostylev, Tony Tan
Category: ICALP 2020
Comments
loading...
Reactions
(0)
 Note
📝 No reactions yet
Be the first one to share your thoughts!
Reactions
(0)
Note
loading...
Recommended
1:07:18
ICAPS 2014 Invited Talk: Peter Wurman
ICAPS
 Jul 2, 2014
20:25
ICAPS 2014: Mike Phillips on "PA*SE: Parallel A* for Slow Expansions"
ICAPS
 Jul 3, 2014
14:30
ICAPS 2014: Vidal Alcázar on "Analyzing the Impact of Partial States..."
ICAPS
 Jul 3, 2014
13:37
ICAPS 2014: Aijun Bai on "Thompson Sampling Based MonteCarlo Planning in POMDPs"
ICAPS
 Jul 3, 2014
23:50
ICAPS 2014: Satish Kumar on "A TreeBased Algorithm for Construction Robots"
ICAPS
 Jul 16, 2014