Luís Manuel Martins Damas


AuthID: R-000-9MJ

Confirmed Publications: 36



21
TITLE: Counting a type's principal inhabitants - (Extended abstract)  Full Text
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1999, SOURCE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME: 1581
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
22
TITLE: Multiple specialization of WAM code  Full Text
AUTHORS: Ferreira, M ; Damas, L ;
PUBLISHED: 1999, SOURCE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
23
TITLE: Teleconsultation for cooperative acquisition, analysis and reporting of ultrasound studies
AUTHORS: Ribeiro, R; Conceicao, R; Rafael, JA; Pereira, AS; Martins, M; Lourenco, R; Fonseca, L; Galvao, F; Damas, L ;
PUBLISHED: 1999, SOURCE: JOURNAL OF TELEMEDICINE AND TELECARE, VOLUME: 5, ISSUE: SUPPL. 1
INDEXED IN: Scopus WOS CrossRef: 2
24
TITLE: Compact bracket abstraction in combinatory logic
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1997, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 62, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: DBLP
25
TITLE: On combinatory complete sets of proper combinators
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1997, SOURCE: Journal of Functional Programming, VOLUME: 7, ISSUE: 6
INDEXED IN: Scopus DBLP
IN MY: DBLP
26
TITLE: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
27
TITLE: Constraint Categorial Grammars
AUTHORS: Luís Damas ; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
28
29
TITLE: Resolution of Constraints in Algebras of Rational Trees
AUTHORS: Luís Damas ; Nelma Moreira ; Sabine Broda ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
30
TITLE: On the Satisfiability of Complex Constraints
AUTHORS: Luís Damas ; Giovanni B Varile;
PUBLISHED: 1992, SOURCE: 14th International Conference on Computational Linguistics, COLING 1992, Nantes, France, August 23-28, 1992
INDEXED IN: DBLP
IN MY: DBLP
Page 3 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