%0 Journal Article %1 journals/fuin/BruseLL21 %A Bruse, Florian %A Lange, Martin %A Lozes, Étienne %D 2021 %J Fundam. Informaticae %K dblp %N 1-2 %P 1-30 %T The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic. %U http://dblp.uni-trier.de/db/journals/fuin/fuin178.html#BruseLL21 %V 178

@article{journals/fuin/BruseLL21, added-at = {2021-01-22T00:00:00.000+0100}, author = {Bruse, Florian and Lange, Martin and Lozes, Étienne}, biburl = {https://www.bibsonomy.org/bibtex/2284f9331f6f443fdd6249c41fd4a0a5d/dblp}, ee = {https://doi.org/10.3233/FI-2021-1996}, interhash = {3196c296d8cecf97dd00da9b293640a3}, intrahash = {284f9331f6f443fdd6249c41fd4a0a5d}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {1-30}, timestamp = {2024-04-08T10:04:07.000+0200}, title = {The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin178.html#BruseLL21}, volume = 178, year = 2021 }