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
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2018
- Bahasa
- en
- Total Sitasi
- 8×
- Sumber Database
- CrossRef
- DOI
- 10.1016/j.apal.2017.10.005
- Akses
- Open Access ✓