TYTUŁ ARTYKUŁU

Simple termination of rewrite systems

AUTORZY
Aart Middeldorp, Hans Zantema
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1995 / Tom 24 / Numer 1
STRONY
31 - 36
ROK
1995
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Aart Middeldorp, Hans Zantema, Simple termination of rewrite systems, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 31 - 36

BIBTEX

Aart Middeldorp and Hans Zantema. Simple termination of rewrite systems. Bulletin of the Section of Logic, 24(1):31–36, 1995.

Pokaż kod BibTeX 
@article{bazhum233499,
  author = {Middeldorp, Aart and Zantema, Hans},
  title = {{Simple termination of rewrite systems}},
  journal = {Bulletin of the Section of Logic},
  year = {1995},
  volume = {24},
  number = {1},
  pages = {31--36},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233499}
}