Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zina M. Ibrahim
An Abstract Theory and Ontology of Motion Based on the Regions Connection Calculus
Related publications
Reissner–Mindlin Shell Theory Based on Tangential Differential Calculus
PAMM
On Lists and Other Abstract Data Types in the Calculus of Constructions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
A Simple Distributed Reasoning System for the Connection Calculus
Vietnam Journal of Computer Science
An Ontology Based Text Analytics on Social Media
International Journal of Database Theory and Application
Computer Science
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Connection of Motion With Intrinsic Variability.
Astronomical Journal
Astrophysics
Astronomy
Planetary Science
Space
On the Theory of Fractional Calculus in the Pettis-Function Spaces
Journal of Function Spaces
Analysis
An Ontology Construction Method Based on Formal Concept Analysis
DEStech Transactions on Social Science, Education and Human Science
