Many-sorted and single-sorted algebras

Anna Mućka , Anna Romanowska , Jonathan Smith

Abstract

Opisano ogólną metodę translacji z klasy czystych wielosortowych algebr danego typu bez stałych do równoważnej rozmaitości algebr jednosortowych określonego typu bez stałych. Pokazano, że złożoność równości definiujących tę rozmaitość jest funkcją liniową liczby sortów i liczby argumentów operacji podstawowych.
Author Anna Mućka (FMIS / DAC)
Anna Mućka,,
- Department of Algebra and Combinatorics
, Anna Romanowska (FMIS / DAC)
Anna Romanowska,,
- Department of Algebra and Combinatorics
, Jonathan Smith
Jonathan Smith,,
-
Journal seriesAlgebra Universalis, ISSN 0002-5240
Issue year2013
Vol69
No2
Pages171-190
Publication size in sheets0.95
DOIDOI:10.1007/s00012-013-0224-5
URL http://link.springer.com/article/10.1007%2Fs00012-013-0224-5
Languageen angielski
Score (nominal)20
ScoreMinisterial score = 20.0, 28-11-2017, ArticleFromJournal
Ministerial score (2013-2016) = 20.0, 28-11-2017, ArticleFromJournal
Publication indicators WoS Impact Factor: 2013 = 0.551 (2) - 2013=0.416 (5)
Citation count*2 (2015-05-14)
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back
Confirmation
Are you sure?