Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ken-Ichi Kawarabayashi
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes
Related publications
A Short Tutorial on Order-Invariant First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Representation Model of Geometrical Tolerances Based on First Order Logic
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Literal Projection for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
First-Order Dynamic Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symmetry in Temporal Logic Model Checking
ACM Computing Surveys
Computer Science
Theoretical Computer Science
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science