APA

Ruckert M., . (1985). Church-Rosser-Theorem und Normalisierung für Termkalküle mit unendlichen Termen unter Einschluss permutativer Reduktionen. : .

Chicago

Ruckert Martin, . 1985. Church-Rosser-Theorem und Normalisierung für Termkalküle mit unendlichen Termen unter Einschluss permutativer Reduktionen. : .

Harvard

Ruckert M., . (1985). Church-Rosser-Theorem und Normalisierung für Termkalküle mit unendlichen Termen unter Einschluss permutativer Reduktionen. : .

MLA

Ruckert Martin, . Church-Rosser-Theorem und Normalisierung für Termkalküle mit unendlichen Termen unter Einschluss permutativer Reduktionen. : . 1985.