The following pages link to Walid Gomaa (Q1761707):
Displayed 14 items.
- A survey of recursive analysis and Moore's notion of real computation (Q1761708) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- Analytical properties of resource-bounded real functionals (Q2509953) (← links)
- On the complexity of bounded time and precision reachability for piecewise affine systems (Q2636516) (← links)
- DESCRIPTIVE COMPLEXITY OF FINITE ABELIAN GROUPS (Q3067786) (← links)
- On The Complexity of Bounded Time Reachability for Piecewise Affine Systems (Q3447692) (← links)
- (Q3521453) (← links)
- (Q4450839) (← links)
- An Approach to Human-Level Commonsense Reasoning (Q4912992) (← links)
- (Q5144613) (← links)
- (Q5146653) (← links)
- On the Query Complexity of Real Functionals (Q5271045) (← links)
- Polynomial Time Computation in the Context of Recursive Analysis (Q5747636) (← links)
- Computability and Complexity over the Product Topology of Real Numbers (Q6251329) (← links)