%0 Conference Paper %1 conf/ftrtft/Pandya96 %A Pandya, Paritosh K. %B FTRTFT %D 1996 %E Jonsson, Bengt %E Parrow, Joachim %I Springer %K dblp %P 148-167 %T Weak Chop Inverses and Liveness in Mean-Value Calculus. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1996.html#Pandya96 %V 1135 %@ 3-540-61648-9

@inproceedings{conf/ftrtft/Pandya96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Pandya, Paritosh K.}, biburl = {https://www.bibsonomy.org/bibtex/2ec7d2c3032c92c73efb3c65ea2722d73/dblp}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/1996}, editor = {Jonsson, Bengt and Parrow, Joachim}, ee = {https://doi.org/10.1007/3-540-61648-9_39}, interhash = {dea493b41305a9a3a4eff24bf4d8802d}, intrahash = {ec7d2c3032c92c73efb3c65ea2722d73}, isbn = {3-540-61648-9}, keywords = {dblp}, pages = {148-167}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {Weak Chop Inverses and Liveness in Mean-Value Calculus.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1996.html#Pandya96}, volume = 1135, year = 1996 }