Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/112092
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorJackson, M.en
dc.contributor.authorVolkov, M.en
dc.date.accessioned2022-05-12T08:27:57Z-
dc.date.available2022-05-12T08:27:57Z-
dc.date.issued2010-
dc.identifier.citationJackson M. The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion / M. Jackson, M. Volkov // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). — 2010. — Vol. 6300 LNCS. — P. 414-443.en
dc.identifier.isbn3642150241-
dc.identifier.isbn9783642150241-
dc.identifier.issn0302-9743-
dc.identifier.otherAll Open Access, Green3
dc.identifier.urihttp://elar.urfu.ru/handle/10995/112092-
dc.description.abstractWe establish a surprisingly close relationship between universal Horn classes of directed graphs and varieties generated by so-called adjacency semigroups which are Rees matrix semigroups over the trivial group with the unary operation of reversion. In particular, the lattice of subvarieties of the variety generated by adjacency semigroups that are regular unary semigroups is essentially the same as the lattice of universal Horn classes of reflexive directed graphs. A number of examples follow, including a limit variety of regular unary semigroups and finite unary semigroups with NP-hard variety membership problems. © 2010 Springer-Verlag Berlin Heidelberg.en
dc.format.mimetypeapplication/pdfen
dc.language.isoenen
dc.publisherSpringer Berlin Heidelbergen
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.sourceLect. Notes Comput. Sci.2
dc.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.subjectFINITE BASIS PROBLEMen
dc.subjectGRAPHen
dc.subjectREES MATRIX SEMIGROUPen
dc.subjectUNARY SEMIGROUP IDENTITYen
dc.subjectUNARY SEMIGROUP VARIETYen
dc.subjectUNIVERSAL HORN CLASSen
dc.subjectUNIVERSAL HORN SENTENCEen
dc.subjectVARIETY MEMBERSHIP PROBLEMen
dc.subjectFINITE BASIS PROBLEMen
dc.subjectGRAPHen
dc.subjectMATRIXen
dc.subjectMEMBERSHIP PROBLEMen
dc.subjectSEMI-GROUPen
dc.subjectUNIVERSAL HORN CLASSen
dc.subjectUNIVERSAL HORN SENTENCEen
dc.subjectCOMPUTER SCIENCEen
dc.subjectGRAPH THEORYen
dc.subjectTECHNICAL PRESENTATIONSen
dc.subjectMATRIX ALGEBRAen
dc.titleThe Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversionen
dc.typeConference Paperen
dc.typeinfo:eu-repo/semantics/conferenceObjecten
dc.typeinfo:eu-repo/semantics/submittedVersionen
dc.conference.name35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, and 19th EACSL Annual Conference on Computer Science Logic, CSL 2010en
dc.conference.date22 August 2010 through 22 August 2010-
dc.identifier.scopus77956565649-
local.contributor.employeeJackson, M., La Trobe University, VIC 3086, Australia; Volkov, M., Ural State University, Ekaterinburg 620083, Russian Federationen
local.description.firstpage414-
local.description.lastpage443-
local.volume6300 LNCS-
dc.identifier.wos000286783000021-
local.contributor.departmentLa Trobe University, VIC 3086, Australia; Ural State University, Ekaterinburg 620083, Russian Federationen
local.identifier.pure7881234-
local.identifier.eid2-s2.0-77956565649-
local.identifier.wosWOS:000286783000021-
Располагается в коллекциях:Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC

Файлы этого ресурса:
Файл Описание РазмерФормат 
2-s2.0-77956565649.pdf407,99 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.