%0 Conference Paper %1 conf/icalp/ViswanathanV01 %A Viswanathan, Mahesh %A Viswanathan, Ramesh %B ICALP %D 2001 %E Orejas, Fernando %E Spirakis, Paul G. %E van Leeuwen, Jan %I Springer %K dblp %P 835-847 %T Foundations for Circular Compositional Reasoning. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2001.html#ViswanathanV01 %V 2076 %@ 3-540-42287-0

@inproceedings{conf/icalp/ViswanathanV01, added-at = {2017-05-23T00:00:00.000+0200}, author = {Viswanathan, Mahesh and Viswanathan, Ramesh}, biburl = {https://www.bibsonomy.org/bibtex/24fdd9b6addba1682d22b843b0bda6809/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2001}, editor = {Orejas, Fernando and Spirakis, Paul G. and van Leeuwen, Jan}, ee = {https://doi.org/10.1007/3-540-48224-5_68}, interhash = {149d969518548c5690cc918b297ab0f5}, intrahash = {4fdd9b6addba1682d22b843b0bda6809}, isbn = {3-540-42287-0}, keywords = {dblp}, pages = {835-847}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:26:37.000+0200}, title = {Foundations for Circular Compositional Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2001.html#ViswanathanV01}, volume = 2076, year = 2001 }