( en | de | ru )

 

Disambiguation of "Barklund, Jonas"

Author of the publication

copydeleteadd this publication to your clipboard
SLD - Resolution with Reflection.

, , , and . ILPS, page 554-568. MIT Press, (1994)

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.

Eric Alexander Jonas

Asymmetrische Synthese planar- und zentral-chiraler 1,2,3-trisubstituierter und 1,3-disubstituierter Ferrocene. TU Aachen, (2007)

Christina Jonas

Beate Jonas

Heinrich Jonas

Friedrich Jonas

 

Other publications of authors with the same name

What Is a Meta-Variable in Prolog?. META, page 383-398. MIT Press, (1988)Vesper., and . Machine Intelligence 15, page 360-377. Oxford University Press, (1995)Reflection principles in computational logic., , , and . J. Log. Comput., 10 (6): 743-786 (2000)Condition Graphs., , and . ICLP/SLP, page 435-446. MIT Press, (1988)Hash Tables in Logic Programming., and . ICLP, page 411-427. MIT Press, (1987)Reflection through Constraint Satisfaction., , , and . ICLP, page 742. MIT Press, (1994)Parallel Bounded Quantification - Preliminary Results., , and . ACM SIGPLAN Notices, 28 (8): 117-124 (1993)SLD - Resolution with Reflection., , , and . ILPS, page 554-568. MIT Press, (1994)Integrating Complex Data Structures in Prolog., and . SLP, page 415-425. IEEE-CS, (1987)Garbage Cut for Garbage Collection of Iterative Prolog Programs., and . SLP, page 276-283. IEEE-CS, (1986)