Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
Hennessy-Milner Theorem for Interpretability Logic
Zacytuj
CZYSTY TEKST
Mladen Vukovic, Hennessy-Milner Theorem for Interpretability Logic, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 195 - 201
BIBTEX
Mladen Vukovic. Hennessy-Milner Theorem for Interpretability Logic. Bulletin of the Section of Logic, 34(4):195–201, 2005.
Pokaż kod BibTeX
@article{bazhum242038,
author = {Vukovic, Mladen},
title = {{Hennessy-Milner Theorem for Interpretability Logic}},
journal = {Bulletin of the Section of Logic},
year = {2005},
volume = {34},
number = {4},
pages = {195--201},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/242038}
}