Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 129



111
TITLE: Aspects of enumeration and generation with a string automata representation
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2006, SOURCE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
112
TITLE: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTHORS: Ana Paula Tomas ; Nelma Moreira ; Nuno Pereira;
PUBLISHED: 2006, SOURCE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in Artificial Intelligence Applications and Innovations, VOLUME: 204
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
113
TITLE: Interactive manipulation of regular objects with FAdo
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2005, SOURCE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
114
TITLE: On the density of languages representing finite set partitions
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2005, SOURCE: Journal of Integer Sequences, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
115
TITLE: On the representation of finite automata
AUTHORS: Reis, R ; Moreira, N ; Almeida, M;
PUBLISHED: 2005, SOURCE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
116
TITLE: Towards an architecture for Emotional BDI agents
AUTHORS: David Pereira ; Eugnio Oliveira ; Nelma Moreira ; Lus Sarmento;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings
INDEXED IN: WOS CrossRef: 26
IN MY: ORCID | CIÊNCIAVITAE
117
118
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: ORCID | DBLP | CIÊNCIAVITAE
119
TITLE: Constraint Categorial Grammars PDF
AUTHORS: Luís Damas; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: CoRR, VOLUME: abs/cmp-lg/9507001
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP | CIÊNCIAVITAE
120
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: ORCID | DBLP | CIÊNCIAVITAE
Page 12 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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