( en | de | ru )

 

Disambiguierung von "Kamareddine, Fairouz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Revisiting the notion of function.

, , und . J. Log. Algebraic Methods Program., 54 (1-2): 65-107 (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fairouz Gouiza

 

Weitere Publikationen von Autoren mit dem selben Namen

Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface.. J. Autom. Reason., 29 (3-4): 183-188 (2002)Polymorphism, Type containment and Nominalization., und . J. Log. Lang. Inf., 2 (3): 171-215 (1993)Refining the Barendregt Cube Using Parameters., , und . FLOPS, Volume 2024 von Lecture Notes in Computer Science, Seite 375-390. Springer, (2001)On Automating Inductive and Non-inductive Termination Methods., und . ASIAN, Volume 1742 von Lecture Notes in Computer Science, Seite 177-189. Springer, (1999)Computerising Mathematical Text., , , und . Computational Logic, Volume 9 von Handbook of the History of Logic, Elsevier, (2014)The paradoxes and the infinite dazzled ancient mathematics and continue to do so today., und . CoRR, (2024)Capsule Reviews.. Comput. J., 53 (6): 619-622 (2010)Capsule Reviews.. Comput. J., 55 (12): 1419 (2012)A Novel Phonetic Algorithm for Predicting Chinese Names using Chinese Pin Yin., und . MLDM (1), Seite 78-92. ibai Publishing, (2019)A Novel Method That Identifies The Hidden Properties Of A Person's Name In Kanji Or Hanzi., , , und . MISNC, Seite 79-85. ACM, (2021)