About: Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	In this survey we consider three kinds of algorithmic questions concerning varieties of semigroups. We are interested in identity problems, in the solvability of a system of equations and in the structure of all solutions of a given system. We study them in significant varieties of semigroups, monoids, groups, completely simple semigroups, completely regular semigroups (in particular semigroups satisfying the identity x^r=x) and involutary semigroups (in particular star regular semigroups and inverse semigroups). In this survey we consider three kinds of algorithmic questions concerning varieties of semigroups. We are interested in identity problems, in the solvability of a system of equations and in the structure of all solutions of a given system. We study them in significant varieties of semigroups, monoids, groups, completely simple semigroups, completely regular semigroups (in particular semigroups satisfying the identity x^r=x) and involutary semigroups (in particular star regular semigroups and inverse semigroups). (en)
Title	Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups (en)
skos:prefLabel	Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups (en)
skos:notation	RIV/00216224:14310/11:00050151!RIV12-GA0-14310___
http://linked.open...avai/predkladatel	Přírodovědecká fakulta
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1M0545), P(GA201/09/1313), Z(MSM0021622409)
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Polák, Libor Klíma, Ondřej
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Přírodovědecká fakulta
http://linked.open...dnocenehoVysledku	203456
http://linked.open...ai/riv/idVysledku	RIV/00216224:14310/11:00050151
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	identity problems; equations; unification; varieties of semigroups; varieties of unary semigroups (en)
http://linked.open.../riv/klicoveSlovo	equations unification identity problems varieties of semigroups varieties of unary semigroups
http://linked.open...ontrolniKodProRIV	[543CC890CDBE]
http://linked.open...v/mistoKonaniAkce	Thessaloniki
http://linked.open...i/riv/mistoVydani	Berlin
http://linked.open...i/riv/nazevZdroje	Algebraic Foundations in Computer Science
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute for Theoretical Computer Science Algebraic Methods in Automata and Formal Language Theory II
http://linked.open...UplatneniVysledku	2011
http://linked.open...iv/tvurceVysledku	Klíma, Ondřej Polák, Libor
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2011-01-01 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Matematické struktury a jejich fyzikální aplikace
issn	0302-9743
number of pages	14 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-642-24897-9_10
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	978-3-642-24896-2
http://localhost/t...ganizacniJednotka	14310
is http://linked.open...avai/riv/vysledek of	Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 64 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software