
Search the dblp DataBase
Mehmet Terziler:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler
Independent Bases for Rules Admissible in Pretabular Logics. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 1999, v:7, n:2, pp:253266 [Journal]
 Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
Unification and passive inference rules for modal logics. [Citation Graph (0, 0)][DBLP] Journal of Applied NonClassical Logics, 2000, v:10, n:34, pp: [Journal]
 Hasan Dalgin, Labib Haddad, Mehmet Terziler
On the Additive Group Structure of the Nonstandard Models of the Theory of Integers. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2002, v:48, n:3, pp:403412 [Journal]
 Çigdem Gencer, Mehmet Terziler
On a Question of Phillips. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 1997, v:43, n:, pp:7882 [Journal]
 Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
A Basis in SemiReduced Form for the Admissible Rules of the Intuitionistic Logic IPC. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2000, v:46, n:2, pp:207218 [Journal]
 Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
On SelfAdmissible QuasiCharacterizing Inference Rules. [Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:65, n:3, pp:417428 [Journal]
Search in 0.004secs, Finished in 0.004secs
