Amanote Research
Register
Sign In
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes
doi 10.1109/lics.2013.19
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2013
Authors
Kord Eickmeyer
Ken-Ichi Kawarabayashi
Stephan Kreutzer
Publisher
IEEE
Related search
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
