Showing 1 - 2 results of 2 for search 'David Sabel', query time: 0.02s
Refine Results
-
1
Termination of Cycle Rewriting by Transformation and Matrix Interpretation by David Sabel, Hans Zantema
Published 2017-03-01
Article -
2
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq by Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Published 2015-03-01
Article