%0 Conference Paper %1 conf/concur/ViswanathanV04 %A Viswanathan, Mahesh %A Viswanathan, Ramesh %B CONCUR %D 2004 %E Gardner, Philippa %E Yoshida, Nobuko %I Springer %K dblp %P 512-528 %T A Higher Order Modal Fixed Point Logic. %U http://dblp.uni-trier.de/db/conf/concur/concur2004.html#ViswanathanV04 %V 3170 %@ 3-540-22940-X

@inproceedings{conf/concur/ViswanathanV04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Viswanathan, Mahesh and Viswanathan, Ramesh}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b3c17cacf0b07fc9542711d61628817c/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2004}, editor = {Gardner, Philippa and Yoshida, Nobuko}, ee = {https://doi.org/10.1007/978-3-540-28644-8_33}, interhash = {0f711b6a8e47f04bed719719143ab63a}, intrahash = {b3c17cacf0b07fc9542711d61628817c}, isbn = {3-540-22940-X}, keywords = {dblp}, pages = {512-528}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:22:51.000+0200}, title = {A Higher Order Modal Fixed Point Logic.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2004.html#ViswanathanV04}, volume = 3170, year = 2004 }