The expressive power of k-ary exclusion logic
Rönnholm, Raine (2019)
Rönnholm, Raine
2019
Annals of pure and applied logic 170 9
1070-1099
Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Samankaltainen aineisto
Näytetään aineisto, joilla on samankaltaisia nimekkeitä, tekijöitä tai asiasanoja.
-
Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic
Rönnholm, Raine (2018)
article -
Service-Dominant Logic and Service Logic - Contradictory and/or Complementary?
Saarijärvi, Hannu; Puustinen, Pekka; Yrjölä, Mika; Mäenpää, Katariina (2017)
article -
Neo-Logicism and Its Logic
Raatikainen, Panu (2019)
article