Author of the publication

An Or-Parallel Token Machine.

, and . Logic Programming Workshop, page 537-552. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors., , and . SLP, page 69-79. IEEE-CS, (1987)A Formal Model for Or-Parallel Execution of Logic Programs., and . IFIP Congress, page 299-305. North-Holland/IFIP, (1983)Control of Activities in the Or-Parallel Token Machine (Abstract)., and . Logic Programming Workshop, page 536. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)Scheduling in or-parallel Prolog systems: Survey and open problems.. Int. J. Parallel Program., 20 (6): 421-451 (1991)Parallel Implementations of Prolog.. NACLP, page 835. MIT Press, (1990)An Or-Parallel Token Machine., and . Logic Programming Workshop, page 537-552. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)Cut and Side-Effects in a Data-Driven Implementation of Prolog., , and . New Generation Comput., 12 (3): 223-250 (1994)Cut and Side-Effects in Or-Parallel Prolog., , and . FGCS, page 831-840. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Execution of Bagof on the Or-Parallel Token Machine., and . FGCS, page 551-560. OHMSHA Ltd. Tokyo and North-Holland, (1984)Control of Activities in the Or-Parallel Token Machine., and . SLP, page 49-57. IEEE-CS, (1984)