avatar
Zafer Özdemir Asst. Prof. Dr. Nişantaşı Üniversitesi
Publication 1 Review 2
1 Publication
2 Review
0000-0001-7090-373X

Research Fields

Computational Logic and Formal Languages Mathematical Logic, Set Theory, Lattices and Universal Algebra Matematiksel Mantık, Modal Mantık, Hesaplanabilirlik Teorisi

Institution

Nişantaşı Üniversitesi

Publications

Algorithmic Correspondence for Modal Logic
Authors: Zafer Özdemir
Published: 2022 , Osmaniye Korkut Ata University Journal of the Institute of Science and Technology
DOI: 10.47495/okufbed.981433
FAVORITE 0 TOTAL DOWNLOAD COUNT 575

0

575

Articles published in
Osmaniye Korkut Ata University Journal of the Institute of Science and Technology
Osmaniye Korkut Ata University Journal of the Institute of Science and Technology

Reviews

Sakarya University Journal of Science
Sakarya University Journal of Science
The Journal of Cognitive Systems
The Journal of Cognitive Systems
There are no Crossref cited.
Popular Publications: It is determined automatically by the researchers doing research in DergiPark according to the statistics of being added to the favorites. CrossRef Cited: The citations shown in DergiPark are drawn from CrossRef. For this, the cited and cited articles must be registered in CrossRef (DOI number). ^: Citation numbers are reflected in the system by DergiPark at certain periods. : Click to get information about the DergiPark User Badge.