%0 Journal Article %1 journals/eik/DahnW94 %A Dahn, Bernd I. %A Wolf, Andreas %D 1994 %J Elektronische Informationsverarbeitung und Kybernetik %K dblp %N 5/6 %P 261-276 %T A Calculus Supporting Structured Proofs. %U http://dblp.uni-trier.de/db/journals/eik/eik30.html#DahnW94 %V 30

@article{journals/eik/DahnW94, added-at = {2003-07-14T00:00:00.000+0200}, author = {Dahn, Bernd I. and Wolf, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2868ba1c4c87b08f581c5c5091e4cda54/dblp}, date = {2003-07-14}, description = {dblp}, interhash = {1a91cdaf35e080a7cd054c94349ce5bb}, intrahash = {868ba1c4c87b08f581c5c5091e4cda54}, journal = {Elektronische Informationsverarbeitung und Kybernetik}, keywords = {dblp}, number = {5/6}, pages = {261-276}, timestamp = {2003-07-14T00:00:00.000+0200}, title = {A Calculus Supporting Structured Proofs.}, url = {http://dblp.uni-trier.de/db/journals/eik/eik30.html#DahnW94}, volume = 30, year = 1994 }