Dudenhefner, A. (2026). Mechanized Undecidability of Higher-order beta-Matching (Extended Version).
Style de citation Chicago (17e éd.)Dudenhefner, Andrej. Mechanized Undecidability of Higher-order Beta-Matching (Extended Version). 2026.
Style de citation MLA (9e éd.)Dudenhefner, Andrej. Mechanized Undecidability of Higher-order Beta-Matching (Extended Version). 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.