Edinburgh Research Explorer

Combining Prolog Programs in a Techniques Editing System

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

Standard

Combining Prolog Programs in a Techniques Editing System. / Vargas-Vera, M.; Robertson, D.; Inder, R.

Proceedings of Third International Workshop on Logic Programming Synthesis and Transformation. Springer-Verlag GmbH, 1993.

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

Harvard

Vargas-Vera, M, Robertson, D & Inder, R 1993, Combining Prolog Programs in a Techniques Editing System. in Proceedings of Third International Workshop on Logic Programming Synthesis and Transformation. Springer-Verlag GmbH.

APA

Vargas-Vera, M., Robertson, D., & Inder, R. (1993). Combining Prolog Programs in a Techniques Editing System. In Proceedings of Third International Workshop on Logic Programming Synthesis and Transformation Springer-Verlag GmbH.

Vancouver

Vargas-Vera M, Robertson D, Inder R. Combining Prolog Programs in a Techniques Editing System. In Proceedings of Third International Workshop on Logic Programming Synthesis and Transformation. Springer-Verlag GmbH. 1993

Author

Vargas-Vera, M. ; Robertson, D. ; Inder, R. / Combining Prolog Programs in a Techniques Editing System. Proceedings of Third International Workshop on Logic Programming Synthesis and Transformation. Springer-Verlag GmbH, 1993.