TYTUŁ ARTYKUŁU

Bisimulation Reducts of First-Order Kripke Models

AUTORZY
Tomasz Połacik
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2013 / Tom 42 / Numer 3-4
STRONY
151 - 160
ROK
2013
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Tomasz Połacik, Bisimulation Reducts of First-Order Kripke Models, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 151 - 160

BIBTEX

Tomasz Połacik. Bisimulation Reducts of First-Order Kripke Models. Bulletin of the Section of Logic, 42(3-4):151–160, 2013.

Pokaż kod BibTeX 
@article{bazhum245026,
  author = {Połacik, Tomasz},
  title = {{Bisimulation Reducts of First-Order Kripke Models}},
  journal = {Bulletin of the Section of Logic},
  year = {2013},
  volume = {42},
  number = {3-4},
  pages = {151--160},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/245026}
}