Publikation
Claus-Peter Wirth
In: Journal of Symbolic Computation, Vol. 47, Pages 1109-1135, Academic Press, Elsevier, 2012.
@article{pub8618, author = { Wirth, Claus-Peter }, title = {lim+, delta+, and Non-Permutability of beta-Steps.}, year = {2012}, volume = {47}, pages = {1109--1135}, journal = {Journal of Symbolic Computation}, publisher = {Academic Press, Elsevier} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023