TYTUŁ ARTYKUŁU

A Useful Four-Valued Extension of the Temporal Logic KtT4

AUTORZY
Vincent Degauquier
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2018 / Tom 47 / Numer 1
STRONY
15 - 32
ROK
2018
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Vincent Degauquier, A Useful Four-Valued Extension of the Temporal Logic KtT4, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 15 - 32

BIBTEX

Vincent Degauquier. A Useful Four-Valued Extension of the Temporal Logic KtT4. Bulletin of the Section of Logic, 47(1):15–32, 2018.

Pokaż kod BibTeX 
@article{bazhum65775,
  author = {Degauquier, Vincent},
  title = {{A Useful Four-Valued Extension of the Temporal Logic KtT4}},
  journal = {Bulletin of the Section of Logic},
  year = {2018},
  volume = {47},
  number = {1},
  pages = {15--32},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/65775}
}