Semigroups, Automata and Languages (L:SAL)
AuthID: I-000-B7B
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: 643
18 Team MembersFilters -> Year: 2025
581
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
582
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
Scopus583
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
584
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
585
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
586
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
587
TITLE: Constraint Categorial Grammars PDF
AUTHORS: Luís Damas; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: CoRR, VOLUME: abs/cmp-lg/9507001
AUTHORS: Luís Damas; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: CoRR, VOLUME: abs/cmp-lg/9507001
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv588
TITLE: Finite Semigroups And Universal Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series In Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series In Algebra
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary589
TITLE: Finite Semigroups and Universal Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series in Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series in Algebra
INDEXED IN: CrossRef Openlibrary
CrossRef Openlibrary590
TITLE: On complete intersection affine semigroups
AUTHORS: Rosales, JC; GarciaSanchez, PA ;
PUBLISHED: 1995, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 23, ISSUE: 14, PAGES: 5395-5412
AUTHORS: Rosales, JC; GarciaSanchez, PA ;
PUBLISHED: 1995, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 23, ISSUE: 14, PAGES: 5395-5412
591
TITLE: THE WORD PROBLEM FOR NILPOTENT INVERSE MONOIDS
AUTHORS: SILVA, PV ;
PUBLISHED: 1995, SOURCE: SEMIGROUP FORUM, VOLUME: 51, ISSUE: 3, PAGES: 285-293
AUTHORS: SILVA, PV ;
PUBLISHED: 1995, SOURCE: SEMIGROUP FORUM, VOLUME: 51, ISSUE: 3, PAGES: 285-293
592
TITLE: A CLASSIFICATION OF APERIODIC POWER MONOIDS Full Text
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1994, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 170, ISSUE: 2, PAGES: 355-387
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1994, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 170, ISSUE: 2, PAGES: 355-387
593
TITLE: Reduced Factorizations in Free Profinite Groups and Join Decompositions of Pseudovarieties
AUTHORS: Jorge Almeida ; Pascal Weil;
PUBLISHED: 1994, SOURCE: IJAC, VOLUME: 4, ISSUE: 3, PAGES: 375-404
AUTHORS: Jorge Almeida ; Pascal Weil;
PUBLISHED: 1994, SOURCE: IJAC, VOLUME: 4, ISSUE: 3, PAGES: 375-404
594
TITLE: A UNIFIED SYNTACTIC APPROACH TO THEOREMS OF PUTCHA, MARGOLIS, AND STRAUBING ON FINITE POWER SEMIGROUPS
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1993, SOURCE: SEMIGROUP FORUM, VOLUME: 46, ISSUE: 1, PAGES: 90-97
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1993, SOURCE: SEMIGROUP FORUM, VOLUME: 46, ISSUE: 1, PAGES: 90-97
595
TITLE: LOCALLY COMMUTATIVE POWER SEMIGROUPS AND COUNTING FACTORS OF WORDS Full Text
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1993, SOURCE: INTERNATIONAL COLLOQUIUM ON WORDS, LANGUAGES AND COMBINATORICS in THEORETICAL COMPUTER SCIENCE, VOLUME: 108, ISSUE: 1, PAGES: 3-16
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1993, SOURCE: INTERNATIONAL COLLOQUIUM ON WORDS, LANGUAGES AND COMBINATORICS in THEORETICAL COMPUTER SCIENCE, VOLUME: 108, ISSUE: 1, PAGES: 3-16
596
TITLE: Normal-convex embeddings of inverse semigroups
AUTHORS: Silva, PV ;
PUBLISHED: 1993, SOURCE: Glasgow Mathematical Journal, VOLUME: 35, ISSUE: 1, PAGES: 115-121
AUTHORS: Silva, PV ;
PUBLISHED: 1993, SOURCE: Glasgow Mathematical Journal, VOLUME: 35, ISSUE: 1, PAGES: 115-121
597
TITLE: On the semilattice of idempotents of a free inverse monoid
AUTHORS: Pedro V Silva ;
PUBLISHED: 1993, SOURCE: Proceedings of the Edinburgh Mathematical Society, VOLUME: 36, ISSUE: 2, PAGES: 349-360
AUTHORS: Pedro V Silva ;
PUBLISHED: 1993, SOURCE: Proceedings of the Edinburgh Mathematical Society, VOLUME: 36, ISSUE: 2, PAGES: 349-360
598
TITLE: ON THE SEMILATTICE OF IDEMPOTENTS OF A FREE INVERSE MONOID
AUTHORS: SILVA, PV ;
PUBLISHED: 1993, SOURCE: PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, VOLUME: 36, PAGES: 349-360
AUTHORS: SILVA, PV ;
PUBLISHED: 1993, SOURCE: PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, VOLUME: 36, PAGES: 349-360
INDEXED IN: 
WOS
WOS599
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, PAGES: 61-76
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, PAGES: 61-76
600
TITLE: A note on primeness of semigroup rings
AUTHORS: Silva, PV ;
PUBLISHED: 1992, SOURCE: Proceedings of the Royal Society of Edinburgh: Section A Mathematics, VOLUME: 120, ISSUE: 3-4, PAGES: 191-197
AUTHORS: Silva, PV ;
PUBLISHED: 1992, SOURCE: Proceedings of the Royal Society of Edinburgh: Section A Mathematics, VOLUME: 120, ISSUE: 3-4, PAGES: 191-197
