Algebra and Logic (CMA-AL)

Centro de Matemática e Aplicações (CMA)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 546

23 Team Members
Filters -> Year: 2024
521
TITLE: Truth in Applicative Theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2001, SOURCE: Stud Logica, VOLUME: 68, ISSUE: 1, PAGES: 103-128
INDEXED IN: Scopus DBLP
522
TITLE: Universes in explicit mathematics
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Thomas Studer;
PUBLISHED: 2001, SOURCE: Ann. Pure Appl. Log., VOLUME: 109, ISSUE: 3, PAGES: 141-162
INDEXED IN: DBLP
523
TITLE: Universes in explicit mathematics  Full Text
AUTHORS: Jager, G; Reinhard Kahle ; Studer, T;
PUBLISHED: 2001, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 109, ISSUE: 3, PAGES: 141-162
INDEXED IN: Scopus WOS CrossRef: 13
524
TITLE: A Theory of Explicit Mathematics Equivalent to ID1
AUTHORS: Reinhard Kahle ; Thomas Studer;
PUBLISHED: 2000, SOURCE: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, VOLUME: 1862, PAGES: 356-370
INDEXED IN: DBLP CrossRef: 2
525
TITLE: Abelian kernels of some monoids of injective partial transformations and an application  Full Text
AUTHORS: Delgado, M ; Vítor H. Fernandes ;
PUBLISHED: 2000, SOURCE: SEMIGROUP FORUM, VOLUME: 61, ISSUE: 3, PAGES: 435-452
INDEXED IN: Scopus WOS CrossRef: 14
526
TITLE: N-strictness in applicative theories  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2000, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 39, ISSUE: 2, PAGES: 125-144
INDEXED IN: Scopus WOS DBLP CrossRef: 5
527
TITLE: Proof-theoretic notions for software maintenance
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2000, SOURCE: MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology in First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, VOLUME: 40, PAGES: 206-219
INDEXED IN: Scopus DBLP CrossRef
528
TITLE: Semigroups of linear endomorphisms closed under conjugation  Full Text
AUTHORS: Araujo, J ; Silva, FC ;
PUBLISHED: 2000, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 28, ISSUE: 8, PAGES: 3679-3689
INDEXED IN: Scopus WOS CrossRef: 11
529
TITLE: Subdirectly irreducible Ockham chains  Full Text
AUTHORS: Blyth, TS; Silva, HJ ;
PUBLISHED: 2000, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 44, ISSUE: 1-2, PAGES: 1-14
INDEXED IN: Scopus WOS CrossRef: 1
530
TITLE: The monoid of all injective orientation preserving partial transformations on a finite chain  Full Text
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2000, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 28, ISSUE: 7, PAGES: 3401-3426
INDEXED IN: Scopus WOS CrossRef: 19
531
TITLE: A general construction of Ockham algebras  Full Text
AUTHORS: Silva, HJ ;
PUBLISHED: 1999, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 27, ISSUE: 9, PAGES: 4561-4567
INDEXED IN: Scopus WOS CrossRef
532
TITLE: Frege structures for partial applicative theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 1999, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, ISSUE: 5, PAGES: 683-700
INDEXED IN: Scopus WOS DBLP CrossRef: 4
533
TITLE: On Applicative Theories
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Thomas Strahm;
PUBLISHED: 1999, SOURCE: Logic and Foundations of Mathematics, PAGES: 83-92
INDEXED IN: CrossRef: 8
534
TITLE: On equalizer flat acts  Full Text
AUTHORS: Bentz, W ; Bulman Fleming, S;
PUBLISHED: 1999, SOURCE: SEMIGROUP FORUM, VOLUME: 58, ISSUE: 1, PAGES: 5-16
INDEXED IN: Scopus WOS CrossRef: 2
535
TITLE: The covering number of elements of a matroid and associated transformations  Full Text
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 1999, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 298, ISSUE: 1-3, PAGES: 51-71
INDEXED IN: Scopus WOS CrossRef: 5
536
TITLE: The proof-theoretic analysis of transfinitely iterated fixed point theories
AUTHORS: Jager, G; Reinhard Kahle ; Setzer, A; Strahm, T;
PUBLISHED: 1999, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 64, ISSUE: 1, PAGES: 53-67
INDEXED IN: Scopus WOS CrossRef: 25
537
TITLE: The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Anton Setzer; Thomas Strahm;
PUBLISHED: 1999, SOURCE: J. Symb. Log., VOLUME: 64, ISSUE: 1, PAGES: 53-67
INDEXED IN: DBLP
538
TITLE: Topological implications in varieties  Full Text
AUTHORS: Bentz, W ;
PUBLISHED: 1999, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 42, ISSUE: 1-2, PAGES: 9-16
INDEXED IN: Scopus WOS CrossRef: 4
539
TITLE: Normally ordered inverse semigroups  Full Text
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 1998, SOURCE: SEMIGROUP FORUM, VOLUME: 56, ISSUE: 3, PAGES: 418-433
INDEXED IN: Scopus WOS CrossRef: 8
540
TITLE: Singular antitone systems  Full Text
AUTHORS: Blyth, TS; Silva, HJ ;
PUBLISHED: 1998, SOURCE: ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, VOLUME: 15, ISSUE: 3, PAGES: 261-270
INDEXED IN: Scopus WOS CrossRef: 1

Results per Page: 20.
Página 27 de 28. Total de resultados: 546.