%0 Conference Paper %1 conf/alp/BidoitH94 %A Bidoit, Michel %A Hennicker, Rolf %B ALP %D 1994 %E Levi, Giorgio %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 41-58 %T Proving Behavioural Theorems with Standard First-Order Logic. %U http://dblp.uni-trier.de/db/conf/alp/alp94.html#BidoitH94 %V 850 %@ 3-540-58431-5

@inproceedings{conf/alp/BidoitH94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Bidoit, Michel and Hennicker, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/224c415c89342a94f6479f39d12f2a5b6/dblp}, booktitle = {ALP}, crossref = {conf/alp/1994}, editor = {Levi, Giorgio and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-58431-5_6}, interhash = {cc80e14654aa539bf360c5a3c2ee7615}, intrahash = {24c415c89342a94f6479f39d12f2a5b6}, isbn = {3-540-58431-5}, keywords = {dblp}, pages = {41-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:44:40.000+0200}, title = {Proving Behavioural Theorems with Standard First-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/alp/alp94.html#BidoitH94}, volume = 850, year = 1994 }