RG: Algebra (RG:ALG)
AuthID: I-000-B74
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 990
45 Team MembersFilters -> Year: 2025
901
TITLE: Compact bracket abstraction in combinatory logic
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1997, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 62, ISSUE: 3, PAGES: 729-740
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1997, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 62, ISSUE: 3, PAGES: 729-740
902
TITLE: Free profinite R-trivial monoids
AUTHORS: Almeida, J ; Weil, P;
PUBLISHED: 1997, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 7, ISSUE: 5, PAGES: 625-671
AUTHORS: Almeida, J ; Weil, P;
PUBLISHED: 1997, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 7, ISSUE: 5, PAGES: 625-671
903
TITLE: Monoids respecting n-chains of intervals Full Text
AUTHORS: Almeida, J ; Higgins, PM;
PUBLISHED: 1997, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 187, ISSUE: 1, PAGES: 183-202
AUTHORS: Almeida, J ; Higgins, PM;
PUBLISHED: 1997, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 187, ISSUE: 1, PAGES: 183-202
904
TITLE: On combinatory complete sets
of proper combinators
AUTHORS: SABINE BRODA ; LUÍS DAMAS;
PUBLISHED: 1997, SOURCE: Journal of Functional Programming, VOLUME: 7, ISSUE: 6, PAGES: 593-612
AUTHORS: SABINE BRODA ; LUÍS DAMAS;
PUBLISHED: 1997, SOURCE: Journal of Functional Programming, VOLUME: 7, ISSUE: 6, PAGES: 593-612
905
TITLE: On combinatory complete sets of proper combinators
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1997, SOURCE: Journal of Functional Programming, VOLUME: 7, ISSUE: 6, PAGES: 593-612
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1997, SOURCE: Journal of Functional Programming, VOLUME: 7, ISSUE: 6, PAGES: 593-612
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP906
TITLE: Prime links in some skew-polynomial and skew-laurent rings Full Text
AUTHORS: Carvalho, PAAB ;
PUBLISHED: 1997, SOURCE: Communications in Algebra, VOLUME: 25, ISSUE: 5, PAGES: 1443-1469
AUTHORS: Carvalho, PAAB ;
PUBLISHED: 1997, SOURCE: Communications in Algebra, VOLUME: 25, ISSUE: 5, PAGES: 1443-1469
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef907
TITLE: Products of idempotent endomorphisms of an order-independence algebra of finite rank Full Text
AUTHORS: Oliveira, A ;
PUBLISHED: 1997, SOURCE: SEMIGROUP FORUM, VOLUME: 55, ISSUE: 3, PAGES: 309-324
AUTHORS: Oliveira, A ;
PUBLISHED: 1997, SOURCE: SEMIGROUP FORUM, VOLUME: 55, ISSUE: 3, PAGES: 309-324
908
TITLE: Ramified coverings of the complex projective line Full Text
AUTHORS: Chaves, G ;
PUBLISHED: 1997, SOURCE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 226, ISSUE: 1, PAGES: 67-84
AUTHORS: Chaves, G ;
PUBLISHED: 1997, SOURCE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 226, ISSUE: 1, PAGES: 67-84
INDEXED IN: 
WOS
WOS909
TITLE: Solving linear Diophantine equations using the geometric structure of the solution space Full Text
AUTHORS: Tomas, AP ; Filgueiras, M ;
PUBLISHED: 1997, SOURCE: 8th International Conference on Rewriting Techniques and Applications in REWRITING TECHNIQUES AND APPLICATIONS, VOLUME: 1232, PAGES: 269-283
AUTHORS: Tomas, AP ; Filgueiras, M ;
PUBLISHED: 1997, SOURCE: 8th International Conference on Rewriting Techniques and Applications in REWRITING TECHNIQUES AND APPLICATIONS, VOLUME: 1232, PAGES: 269-283
INDEXED IN: WOS DBLP
WOS DBLP910
TITLE: Solving linear Diophantine equations using the geometric structure of the solution space
AUTHORS: Tomás, AP ; Filgueiras, M;
PUBLISHED: 1997, SOURCE: 8th International Conference on Rewriting Techniques and Applications, RTA 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1232, PAGES: 269-283
AUTHORS: Tomás, AP ; Filgueiras, M;
PUBLISHED: 1997, SOURCE: 8th International Conference on Rewriting Techniques and Applications, RTA 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1232, PAGES: 269-283
911
TITLE: The pseudovariety J is hyperdecidable
AUTHORS: Almeida, J ; Zeitoun, M;
PUBLISHED: 1997, SOURCE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 31, ISSUE: 5, PAGES: 457-482
AUTHORS: Almeida, J ; Zeitoun, M;
PUBLISHED: 1997, SOURCE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 31, ISSUE: 5, PAGES: 457-482
912
TITLE: A generalized Desargues configuration and the pure braid group Full Text
AUTHORS: Cordovil, R; deOliveira, AG ; LasVergnas, M;
PUBLISHED: 1996, SOURCE: DISCRETE MATHEMATICS, VOLUME: 160, ISSUE: 1-3, PAGES: 105-113
AUTHORS: Cordovil, R; deOliveira, AG ; LasVergnas, M;
PUBLISHED: 1996, SOURCE: DISCRETE MATHEMATICS, VOLUME: 160, ISSUE: 1-3, PAGES: 105-113
913
TITLE: A Syntactical Proof of Locality of da
AUTHORS: Jorge Almeida ;
PUBLISHED: 1996, SOURCE: IJAC, VOLUME: 6, ISSUE: 2, PAGES: 165-178
AUTHORS: Jorge Almeida ;
PUBLISHED: 1996, SOURCE: IJAC, VOLUME: 6, ISSUE: 2, PAGES: 165-178
914
TITLE: Conjugacy and transposition for inverse monoid presentations
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 6, ISSUE: 5, PAGES: 607-622
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 6, ISSUE: 5, PAGES: 607-622
INDEXED IN: Scopus
Scopus915
TITLE: CONJUGACY AND TRANSPOSITION FOR INVERSE MONOID PRESENTATIONS
AUTHORS: PEDRO V SILVA ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 06, ISSUE: 05, PAGES: 607-622
AUTHORS: PEDRO V SILVA ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 06, ISSUE: 05, PAGES: 607-622
916
TITLE: Instant chaos is chaos in slow motion Full Text
AUTHORS: Labouriau, IS ; Ana Dias ;
PUBLISHED: 1996, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 199, ISSUE: 1, PAGES: 138-148
AUTHORS: Labouriau, IS ; Ana Dias ;
PUBLISHED: 1996, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 199, ISSUE: 1, PAGES: 138-148
917
TITLE: On free inverse monoid languages
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 30, ISSUE: 4, PAGES: 349-378
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 30, ISSUE: 4, PAGES: 349-378
918
TITLE: A fast method for finding the basis of non-negative solutions to a linear diophantine equation Full Text
AUTHORS: Filgueiras, M ; Tomas, AP ;
PUBLISHED: 1995, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 19, ISSUE: 6, PAGES: 507-526
AUTHORS: Filgueiras, M ; Tomas, AP ;
PUBLISHED: 1995, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 19, ISSUE: 6, PAGES: 507-526
919
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, PAGES: 359-370
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, PAGES: 359-370
920
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, PAGES: 347-358
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, PAGES: 347-358
