Executing Intensional Logic with the {TAS} Tool

uncategorised
Authors

Manuel Enciso

J. F. Moncada

Inma P. de Guzmán

Manuel Ojeda-Aciego

Published

1 January 1996

Publication details

1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE’96, Donostia-San Sebastian, Spain, July 15-18, 1996 , pages 561–566.

Links

 

Abstract

Citation

Please, cite this work as:

[Enc+96] M. Enciso, J. F. Moncada, I. P. de Guzmán, et al. “Executing Intensional Logic with the TAS Tool”. In: 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE’96, Donostia-San Sebastian, Spain, July 15-18, 1996. Ed. by P. Lucio, M. Martelli and M. Navarro. 1996, pp. 561-566.

@InProceedings{Enciso1996,
     author = {Manuel Enciso and J. F. Moncada and Inman P. {de Guzm{’a}n} and Manuel Ojeda-Aciego},
     booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE’96, Donostia-San Sebastian, Spain, July 15-18, 1996},
     title = {Executing Intensional Logic with the {TAS} Tool},
     year = {1996},
     editor = {Paqui Lucio and Maurizio Martelli and Marisa Navarro},
     pages = {561–566},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/agp/EncisoMGO96.bib},
     timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
}