%0 Conference Paper %1 conf/programm/BelliaDDLM82 %A Bellia, Marco %A Dameri, Enrico %A Degano, Pierpaolo %A Levi, Giorgio %A Martelli, Maurizio %B Symposium on Programming %D 1982 %E Dezani-Ciancaglini, Mariangiola %E Montanari, Ugo %I Springer %K dblp %P 1-14 %T Applicative communicating processes in first order logic. %U http://dblp.uni-trier.de/db/conf/programm/programm1982.html#BelliaDDLM82 %V 137 %@ 3-540-11494-7

@inproceedings{conf/programm/BelliaDDLM82, added-at = {2017-05-19T00:00:00.000+0200}, author = {Bellia, Marco and Dameri, Enrico and Degano, Pierpaolo and Levi, Giorgio and Martelli, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/2eca2cc56182adc9f51eecd6bffaaee83/dblp}, booktitle = {Symposium on Programming}, crossref = {conf/programm/1982}, editor = {Dezani-Ciancaglini, Mariangiola and Montanari, Ugo}, ee = {https://doi.org/10.1007/3-540-11494-7_1}, interhash = {d0b6ff2d51d8df8d9729fbb4c909b2d5}, intrahash = {eca2cc56182adc9f51eecd6bffaaee83}, isbn = {3-540-11494-7}, keywords = {dblp}, pages = {1-14}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:30.000+0200}, title = {Applicative communicating processes in first order logic.}, url = {http://dblp.uni-trier.de/db/conf/programm/programm1982.html#BelliaDDLM82}, volume = 137, year = 1982 }