Please note that only papers and publications recorded in this departments
database are shown here. An author may have many other papers and
publications produced while working elsewhere which are not listed here.
This page does not therefore represent a definitive list of this authors
work.
|
| Discussion Paper
|
DP106
| 1991 Discussion Paper
| Vargas-Vera,M
|
| A Techniques Editor for Prolog - Thesis Proposal
|
| Journal Paper
|
JP739
| 1994 Journal Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
| Paper in Conference Proceedings
|
PP750
| 1994 Paper in Conference Proceedings
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Programs Based on Knowledge of their Construction
|
| PhD Thesis
|
PT9508
| 1995 PhD Thesis
| Vargas-Vera,M
|
| Using Prolog Techniques to Guide Program Composition
|
| Research Paper
|
RP718
| 1994 Research Paper
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Prolog Programs Based on Knowledge About Their Construction
|
RP635
| 1993 Research Paper
| Vargas-Vera,M; Vasconcelos,W; Robertson,DS
|
| Building Large-Scale Prolog Programs Using a Techniques Editing System
|
RP636
| 1993 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| Combining Prolog Programs in a Techniques Editing System
|
RP641
| 1993 Research Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
RP610
| 1992 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| An Environment for Combining Prolog Programs
|
RP612
| 1992 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| A Mathematical Framework for the Problem of Combination of Prolog Programs
|