A finite axiomatization for fork algebras

Frias, Marcelo F.; Haeberer, Armando M.; Veloso, Paulo A.S.

TYTUŁ ARTYKUŁU

A finite axiomatization for fork algebras

AUTORZY: Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1995 / Tom 24 / Numer 4
STRONY: 193 - 200
ROK: 1995
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso, A finite axiomatization for fork algebras, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 4, s. 193 - 200

BIBTEX

Marcelo F. Frias, Armando M. Haeberer, and Paulo A.S. Veloso. A finite axiomatization for fork algebras. Bulletin of the Section of Logic, 24(4):193–200, 1995.

Pokaż kod BibTeX

@article{bazhum233724,
  author = {Frias, Marcelo F. and Haeberer, Armando M. and Veloso, Paulo A.S.},
  title = {{A finite axiomatization for fork algebras}},
  journal = {Bulletin of the Section of Logic},
  year = {1995},
  volume = {24},
  number = {4},
  pages = {193--200},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233724}
}