Monotonic use of space and computational complexity over abstract structures (0)

by Daniel Leivant