Decidability in Pratt's process logic

Habasiński, Zdzisław

TYTUŁ ARTYKUŁU

Decidability in Pratt's process logic

AUTORZY: Zdzisław Habasiński
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1986 / Tom 15 / Numer 3
STRONY: 88 - 95
ROK: 1986
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Zdzisław Habasiński, Decidability in Pratt's process logic, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 88 - 95

BIBTEX

Zdzisław Habasiński. Decidability in Pratt's process logic. Bulletin of the Section of Logic, 15(3):88–95, 1986.

Pokaż kod BibTeX

@article{bazhum222204,
  author = {Habasiński, Zdzisław},
  title = {{Decidability in Pratt's process logic}},
  journal = {Bulletin of the Section of Logic},
  year = {1986},
  volume = {15},
  number = {3},
  pages = {88--95},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/222204}
}