Travelled to:1 × Belgium
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:∅
Talks about:program (3) logic (3) interpret (1) discoveri (1) procedur (1) process (1) infinit (1) heurist (1) comput (1) claus (1)
Person: M. A. Nait Abdallah
DBLP: Abdallah:M=_A=_Nait
Contributed to:
1988
198719861984Wrote 4 papers:
- JICSCP-1988-Abdallah88 #heuristic #logic #process
- Heuristic Logic and the Process of Discovery (MANA), pp. 859–875.
- ICALP-1987-Abdallah #logic programming
- Logic Programming with Ions (MANA), pp. 11–20.
- ICLP-1986-Abdallah86 #programming
- Procedures in Horn-Clause Programming (MANA), pp. 433–447.
- ICALP-1984-Abdallah #infinity #logic programming #on the
- On the Interpretation of Infinite Computations in Logic Programming (MANA), pp. 358–370.