Diese Seite auf deutsch
SearchAssertions and recursions
B. Möller
Second International Workshop.
In G. Dowek, J. Heering, K. Meinke, B. Möller (eds.): Higher order algebra, logic and term rewriting.
pp. 163-184, Paderborn, Germany, Dez. 1996.
Springer-Verlag.
In G. Dowek, J. Heering, K. Meinke, B. Möller (eds.): Higher order algebra, logic and term rewriting.
pp. 163-184, Paderborn, Germany, Dez. 1996.
Springer-Verlag.