An Editor Calculus With Undo/Redo.

Rasmus Rendal Kjær Magnus Holm Lundbergh Magnus Mantzius Hans Hüttel

Published in: SYNASC (2021)

Keyphrases

real time
databases
automated deduction
computer algebra
database
artificial intelligence
case study
multi agent systems
management system
theorem proving
formal language
algebraic structure