Ubersetzung von logischen Ausdrucken in Baumautomaten: Entwicklung eines Verfahrens und seine Implementierung. Unpublished (1993)

by M Steinmann