( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On automating the extraction of programs from proofs using product types.

, , и . Electron. Notes Theor. Comput. Sci., (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Fairouz Gouiza

 

Другие публикации лиц с тем же именем

De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case., и . J. Log. Algebraic Methods Program., 62 (2): 159-189 (2005)De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms., , и . PPDP, стр. 16-27. ACM, (2001)Capsule Reviews.. Comput. J., 49 (4): 381-382 (2006)Flexible Encoding of Mathematics on the Computer., , и . MKM, том 3119 из Lecture Notes in Computer Science, стр. 160-174. Springer, (2004)A Lambda-Calculus à la de Bruijn with Explicit Substitutions, и . PLILP, том 982 из Lecture Notes in Computer Science, стр. 45-62. Springer, (1995)The paradoxes and the infinite dazzled ancient mathematics and continue to do so today., и . SYNASC, стр. 11-19. IEEE, (2023)On Automating Inductive and Non-inductive Termination Methods., и . ASIAN, том 1742 из Lecture Notes in Computer Science, стр. 177-189. Springer, (1999)Refining the Barendregt Cube Using Parameters., , и . FLOPS, том 2024 из Lecture Notes in Computer Science, стр. 375-390. Springer, (2001)Generating Custom Set Theories with Non-set Structured Objects., , и . CICM, том 12833 из Lecture Notes in Computer Science, стр. 228-244. Springer, (2021)A Novel Phonetic Algorithm for Predicting Chinese Names using Chinese Pin Yin., и . MLDM (1), стр. 78-92. ibai Publishing, (2019)