TYTUŁ ARTYKUŁU

Decision problems for equational theories of relation algebras

AUTORZY
Hajnal Andreka, Steven Givant, Istvan Nemeti
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1994 / Tom 23 / Numer 2
STRONY
47 - 52
ROK
1994
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Hajnal Andreka, Steven Givant, Istvan Nemeti, Decision problems for equational theories of relation algebras, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 47 - 52

BIBTEX

Hajnal Andreka, Steven Givant, and Istvan Nemeti. Decision problems for equational theories of relation algebras. Bulletin of the Section of Logic, 23(2):47–52, 1994.

Pokaż kod BibTeX 
@article{bazhum233290,
  author = {Andreka, Hajnal and Givant, Steven and Nemeti, Istvan},
  title = {{Decision problems for equational theories of relation algebras}},
  journal = {Bulletin of the Section of Logic},
  year = {1994},
  volume = {23},
  number = {2},
  pages = {47--52},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233290}
}