Edinburgh Research Explorer

Pragmatics in the Synthesis of Logic Programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Pragmatics in the Synthesis of Logic Programs. / Robertson, D.; Agusti, J.

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers. ed. / P. Flener. Springer-Verlag GmbH, 1999. p. 41-60 (Lecture Notes in Computer Science; Vol. 1559).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Robertson, D & Agusti, J 1999, Pragmatics in the Synthesis of Logic Programs. in P Flener (ed.), Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers. Lecture Notes in Computer Science, vol. 1559, Springer-Verlag GmbH, pp. 41-60. https://doi.org/10.1007/3-540-48958-4_3

APA

Robertson, D., & Agusti, J. (1999). Pragmatics in the Synthesis of Logic Programs. In P. Flener (Ed.), Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers (pp. 41-60). (Lecture Notes in Computer Science; Vol. 1559). Springer-Verlag GmbH. https://doi.org/10.1007/3-540-48958-4_3

Vancouver

Robertson D, Agusti J. Pragmatics in the Synthesis of Logic Programs. In Flener P, editor, Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers. Springer-Verlag GmbH. 1999. p. 41-60. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-48958-4_3

Author

Robertson, D. ; Agusti, J. / Pragmatics in the Synthesis of Logic Programs. Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers. editor / P. Flener. Springer-Verlag GmbH, 1999. pp. 41-60 (Lecture Notes in Computer Science).