Search the dblp DataBase

Publications of Author

1. Lunjin Lu, Peter Greenfield
   An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:62-76 [Conf]
   
2. Sylviane Cardey, Peter Greenfield, Xiaohong Wu
   Designing a Controlled Language for the Machine Translation of Medical Protocols: The Case of English to Chinese. [Citation Graph (0, 0)][DBLP]
   AMTA, 2004, pp:37-47 [Conf]
   
3. Lunjin Lu, Peter Greenfield
   Logic Program Testing Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Programming and Their Applications, 1993, pp:170-180 [Conf]
   
4. Sylviane Cardey, Peter Greenfield, Mounira Bioud, Aleksandra Dziadkiewicz, Kyoko Kuroda, Izabel Marcelino, Ciprian Melian, Helena Morgadinho, Guillaume Robardet, Séverine Vienney
   The Classificatim Sense-Mining System. [Citation Graph (0, 0)][DBLP]
   FinTAL, 2006, pp:674-683 [Conf]
   
5. Xiaohong Wu, Sylviane Cardey, Peter Greenfield
   Some Problems of Prepositional Phrases in Machine Translation. [Citation Graph (0, 0)][DBLP]
   FinTAL, 2006, pp:593-603 [Conf]
   
6. Lunjin Lu, Peter Greenfield
   Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. [Citation Graph (0, 0)][DBLP]
   ICCL, 1992, pp:147-154 [Conf]
   
7. Haytham Alsharaf, Sylviane Cardey, Peter Greenfield, Yihui Shen
   Problems and Solutions in Machine Translation Involving Arabic, Chinese and French. [Citation Graph (0, 0)][DBLP]
   ITCC (2), 2004, pp:293-297 [Conf]
   
8. Séverine Vienney, Sylviane Cardey, Peter Greenfield
   Systemic Analysis Applied to Problem Solving: The Case of the Past Participle in French. [Citation Graph (0, 0)][DBLP]
   EsTAL, 2004, pp:431-441 [Conf]
   
9. Peter Greenfield
   Bagof/3 to ZF expression: an example prolog application manually translated to Miranda. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 1990, v:25, n:7, pp:59-62 [Journal]
   
10. 
    Modelling of Multiple Target Machine Translation of Controlled Languages Based on Language Norms and Divergences. [Citation Graph (, )][DBLP]