Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Koki NISHIZAWA
Multi-Valued Modal Fixed Point Logics for Model Checking
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Related publications
Model-Checking Over Multi-Valued Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Fixed Point Theorem for Continuous Multi-Valued Transformations
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Direct Algorithm for Multi-Valued Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Common Fixed Point Theorems for Multi-Valued Mappings in Complex-Valued Metric Spaces
Journal of Inequalities and Applications
Combinatorics
Applied Mathematics
Analysis
Discrete Mathematics
Complete Problems for Fixed-Point Logics
Journal of Symbolic Logic
Philosophy
Logic
Some Fixed Point Results for Multi-Valued Mappings in Partial Metric Spaces
Fixed Point Theory and Applications
Geometry
Applied Mathematics
Topology
Model Checking Logics for Communicating Sequential Agents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Fixed Point Theorems on Multi Valued Mappings in B-Metric Spaces
International Journal for Research in Applied Science and Engineering Technology