We use Constraint Satisfaction Methods to construct and enumerate finite L-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the ...

One of the distinctions in modern historiography is that between collective memory and history. Although ideal historical research is presented as objective and driven by the search for accuracy, collective memory is nearly ...

The presented article aims to show practical tips and recommendations applicable in the process of planning and implementation of activities related to the education and in-service training of Prison Service personnel. ...