Go to main content | Go to main menu | Go to search

Project information
Equational logic of semigroups and applications

Investor logo
Project Identification
GA201/01/0323
Project Period
1/2001 - 1/2003
Investor / Pogramme / Project type
Czech Science Foundation
  • Standard Projects
MU Faculty or unit
Faculty of Science
  • doc. RNDr. Libor Polák, CSc.

Research will extend results obtained by the applicants in the past taking into account the recent trends. It will concern in particular - the study of existence varieties of regular semigroups, varieties of unary semigroups and varieties and pseudovari eties of ordered and semilattice-ordered semigroups; - classification of regular languages by means of pseudovarieties of ordered and semilattice-ordered semigroups; - unification, term rewriting and the study of traces in varieties of (unary) semigrou ps. Allocated finantial sources will be used basically for covering expenses connected with contacts with the international mathematical community and with the presentation of the results obtained. A minor part will be used for the purchase of necessary literature.

Publications

Total number of publications: 8

2008

2004

2003

2001

You are running an old browser version. We recommend updating your browser to its latest version.

More info