Roland Axelsson

Available identifiers

zbMath Open axelsson.rolandMaRDI QIDQ3083625

List of research outcomes

Publication	Date of Publication	Type
Formal language constrained reachability and model checking propositional dynamic logics	2011-10-07	Paper
Verification of non-regular program properties	2011-03-22	Paper
Extended computation tree logic	2010-10-12	Paper
Analyzing Context-Free Grammars Using an Incremental SAT Solver	2008-08-19	Paper
Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic	2008-05-15	Paper
The Complexity of Model Checking Higher-Order Fixpoint Logic	2007-10-11	Paper

Research outcomes over time

This page was built for person: Roland Axelsson