%0 Conference Paper %1 journals/corr/Lange15 %A Lange, Martin %B FICS %D 2015 %E Matthes, Ralph %E Mio, Matteo %K dblp %P 105-116 %T The Arity Hierarchy in the Polyadic μ-Calculus. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs191.html#Lange15 %V 191

@inproceedings{journals/corr/Lange15, added-at = {2018-09-12T00:00:00.000+0200}, author = {Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2e8bdd66363e24419573b963615a20df7/dblp}, booktitle = {FICS}, crossref = {journals/corr/MatthesM15}, editor = {Matthes, Ralph and Mio, Matteo}, ee = {http://arxiv.org/abs/1509.03018}, interhash = {010480321bebf5c74c70cc044c3c53e0}, intrahash = {e8bdd66363e24419573b963615a20df7}, keywords = {dblp}, pages = {105-116}, series = {EPTCS}, timestamp = {2024-04-09T09:30:46.000+0200}, title = {The Arity Hierarchy in the Polyadic μ-Calculus.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs191.html#Lange15}, volume = 191, year = 2015 }