Extended MSO Model Checking via Small Vertex Integrity
Work
Year: 2023
Type: article
Source: Algorithmica
Authors Tatsuya Gima, Yota Otachi
Institution Nagoya University
Cites: 43
Cited by: 3
Related to: 10
FWCI: 0.976
Citation percentile (by year/subfield): 48.35
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Partnerships for the goals
Open Access status: green
Funders Japan Society for the Promotion of Science, Japan Society for the Promotion of Science, Japan Society for the Promotion of Science
Grant IDS JP20H05793, JP18K11169, JP22H00513