Login / Signup
Magnus Holm Lundbergh
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Automated Deduction
Formal Language
Computer Algebra
Database
Top Venues
SYNASC
</>
Publications
</>
Rasmus Rendal Kjær
,
Magnus Holm Lundbergh
,
Magnus Mantzius
,
Hans Hüttel
An Editor Calculus With Undo/Redo.
SYNASC
(2021)