CrossRef Open Access 2018 8 sitasi

Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic

Raine Rönnholm

Penulis (1)

R

Raine Rönnholm

Format Sitasi

Rönnholm, R. (2018). Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic. https://doi.org/10.1016/j.apal.2017.10.005

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1016/j.apal.2017.10.005
Informasi Jurnal
Tahun Terbit
2018
Bahasa
en
Total Sitasi
Sumber Database
CrossRef
DOI
10.1016/j.apal.2017.10.005
Akses
Open Access ✓