Skip to content

Multi-modal Mu-calculus Semantics for Knowledge Construction.

Susumu Yamasaki, Mariko Sasakura

VenueCIC3K
Year2015
ProceedingsKEOD

Browse the full IC3K paper archive.