%0 Journal Article %1 journals/mscs/MartinsP07 %A Martins, Manuel A. %A Pigozzi, Don %D 2007 %J Math. Struct. Comput. Sci. %K dblp %N 5 %P 1075-1113 %T Behavioural reasoning for conditional equations. %U http://dblp.uni-trier.de/db/journals/mscs/mscs17.html#MartinsP07 %V 17

@article{journals/mscs/MartinsP07, added-at = {2021-04-21T00:00:00.000+0200}, author = {Martins, Manuel A. and Pigozzi, Don}, biburl = {https://www.bibsonomy.org/bibtex/26983936166d134894ce0353d64e0825f/dblp}, ee = {https://doi.org/10.1017/S0960129507006305}, interhash = {5eb2f37b261d0963e527f1d00216b468}, intrahash = {6983936166d134894ce0353d64e0825f}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 5, pages = {1075-1113}, timestamp = {2024-04-08T13:16:56.000+0200}, title = {Behavioural reasoning for conditional equations.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs17.html#MartinsP07}, volume = 17, year = 2007 }