×
Edit Profile (opens in new tab)

Erdur, Riza Cenk

Co-Author Distance
Author ID: erdur.riza-cenk Recent zbMATH articles by "Erdur, Riza Cenk"
Published as: Erdur, Riza Cenk; Erdur, Rıza Cenk
Documents Indexed: 3 Publications since 2002
Co-Authors: 2 Co-Authors with 3 Joint Publications
8 Co-Co-Authors

Co-Authors

0 single-authored
2 Dikenelli, Oguz
1 Seylan, İnanç

Serials

Fields

3 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼
A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains. Zbl 1347.68317
Seylan, İnanç; Erdur, Rıza Cenk
2
2009
A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains. Zbl 1347.68317
Seylan, İnanç; Erdur, Rıza Cenk
2
2009

Cited by 4 Authors

2 Dalmonte, Tiziano
2 Mazzullo, Andrea
1 Ozaki, Ana
1 Troquard, Nicolas

Cited in 0 Serials

Cited in 1 Field

2 Computer science (68-XX)

Citations by Year