David Wahlstedt

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 2

Top Topics

Learning Agents

Term Rewrite Systems

Top Venues

Electron. J. Comb.

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Gal Cohensius, Urban Larsson, Reshef Meir, David Wahlstedt
Cumulative Subtraction Games. Electron. J. Comb. 26 (4) (2019)
Gal Cohensius, Urban Larsson, Reshef Meir, David Wahlstedt
Cumulative subtraction games. CoRR (2018)
Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt
Stop When You Are Almost-Full - Adventures in Constructive Termination. ITP (2012)