Toggle navigation
Home
People
Departments
Research
About
Login
Search
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.
Journal
Overview
Overview
publication venue for
CTL model-checking over logics with non-classical negations
2003