Simple Termination is Difficult (1993)

by Aart Middeldorp , Bernhard Gramlich
Venue:Applicable Algebra in Engineering, Communication and Computing
Citations:5 - 1 self