António Beça Gonçalves Porto


AuthID: R-000-1Y4

Confirmed Publications: 36



31
32
TITLE: Logical Action Systems PDF
AUTHORS: António Porto ;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings.
INDEXED IN: DBLP
IN MY: DBLP
33
TITLE: A Prolog Implementation of a Large System on a Small Machine
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1982, SOURCE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982
INDEXED IN: DBLP
IN MY: DBLP
34
TITLE: Epilog: A Language for Extended Programming in Logic
AUTHORS: António Porto ;
PUBLISHED: 1982, SOURCE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982
INDEXED IN: DBLP
IN MY: DBLP
35
TITLE: Ackermann and the superpowers  Full Text
AUTHORS: António Porto ; Armando B Matos;
PUBLISHED: 1980, SOURCE: SIGACT News, VOLUME: 12, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
36
TITLE: Selective Backtracking for Logic Programs
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1980, SOURCE: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, VOLUME: 87
INDEXED IN: DBLP CrossRef: 9
IN MY: DBLP
Page 4 of 4. Total results: 36.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service