Author of the publication

Generating Optimal Code Using Answer Set Programming.

, , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 554-559. Springer, (2009)

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

The Bath concurrent LISP machine., and . EUROCAL, volume 162 of Lecture Notes in Computer Science, page 78-90. Springer, (1983)NLARGEing a z80 Microprocessor., and . EUROCAM, volume 144 of Lecture Notes in Computer Science, page 249-255. Springer, (1982)Implementing LISP in a High-level Language., and . Softw. Pract. Exp., 7 (6): 713-725 (1977)Symbolic Computing with and without Lisp., and . LISP Conference, page 1-5. ACM, (1980)Memory Tracing of Algebraic Calculations., and . ISSAC, page 113-119. ACM, (1996)Closurize and Concentrate., and . POPL, page 255-265. ACM Press, (1985)REDUCE Meets CAMAL.. DISCO, volume 721 of Lecture Notes in Computer Science, page 104-115. Springer, (1992)Implementing REDUCE on a micro-computer.. EUROCAL, volume 162 of Lecture Notes in Computer Science, page 128-136. Springer, (1983)A solution of problem #3 using CAMAL.. SIGSAM Bull., 8 (4): 14-25 (1974)Course notes.. SIGSAM Bull., 9 (3): 4-8 (1975)