Travelled to:1 × Germany
1 × Portugal
1 × USA
Collaborated with:M.Kazakov M.Maksimenko J.Pécuchet
Talks about:equat (3) diophantin (2) system (2) linear (2) approach (1) softwar (1) general (1) integr (1) solut (1) logic (1)
Person: Habib Abdulrab
DBLP: Abdulrab:Habib
Contributed to:
2004
19951989Wrote 3 papers:
- ICEIS-v3-2004-KazakovA #approach #automation #integration #logic
- Semi-Automated Software Integration: An Approach Based on Logical Inference (MK, HA), pp. 527–530.
- RTA-1995-AbdulrabM #equation #linear
- General Solution of Systems of Linear Diophantine Equations and Inequations (HA, MM), pp. 339–351.
- RTA-1989-AbdulrabP #equation #linear #word
- Solving Systems of Linear Diophantine Equations and Word Equations (HA, JPP), pp. 530–532.