author |
= | "R. Axelsson and M. Lange and R. Somla", |
title |
= | "The {C}omplexity of {M}odel {C}hecking {H}igher-{O}rder {F}ixpoint {L}ogic", |
journal |
= | "Logical Methods in Computer Science", |
volume |
= | "3", |
number |
= | "2:7", |
year |
= | "2007", |
pages |
= | "1--33", |
author |
= | "R. Axelsson and M. Lange", |
title |
= | "{M}odel {C}hecking the {F}irst-{O}rder {F}ragment of {H}igher-{O}rder {F}ixpoint {L}ogic", |
booktitle |
= | "Proc.\ 14th Int.\ Conf.\ on Logic for Programming, Artificial Intelligence, and Reasoning, {LPAR'07}", |
editor |
= | "N. Dershowitz and A. Voronkov", |
address |
= | "Yerevan, Armenia", |
publisher |
= | "Springer", |
series |
= | "LNCS", |
volume |
= | "4790", |
pages |
= | "62--76", |
year |
= | "2007", |
author |
= | "R. Axelsson and M. Lange and K. Heljanko", |
title |
= | "Analyzing {C}ontext-{F}ree {G}rammars {U}sing an {I}ncremental {SAT} {S}olver", |
booktitle |
= | "Proc.\ 35th Int. Coll. on Automata, Languages and Programming, {ICALP'08}", |
editor |
= | "Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'u}s M. Halld{\'o}rsson and Anna Ing{\'o}lfsd{\'o}ttir and Igor Walukiewicz", |
address |
= | "Reykjavik, Iceland", |
publisher |
= | "Springer", |
series |
= | "LNCS", |
volume |
= | "5126", |
year |
= | "2008", |
pages |
= | "410--422", |