Search

Your search keyword '"Kamareddine, Fairouz"' showing total 7 results

Search Constraints

Start Over You searched for: Author "Kamareddine, Fairouz" Remove constraint Author: "Kamareddine, Fairouz" Publication Type Dissertations Remove constraint Publication Type: Dissertations
7 results on '"Kamareddine, Fairouz"'

Search Results

2. Hidden properties identification and text diversity translation of people's names

3. Investigations in intersection types : confluence, and semantics of expansion in the λ-calculus, and a type error slicing method

4. Generic process shape types and the Poly* system

5. Gradual computerisation and verification of mathematics : MathLang's path into Mizar

7. Nominal tense logic and other sorted intensional frameworks

Catalog

Books, media, physical & digital resources