%0 Conference Paper %1 CHKMR2011a %A Codescu, Mihai %A Horozal, Fulya %A Kohlhase, Michael %A Mossakowski, Till %A Rabe, Florian %B Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010 %D 2012 %E Mossakowski, Till %E Kreowski, Hans-Jörg %I Springer %K imported %P 118-138 %T A Proof Theoretic Interpretation of Model Theoretic Hiding %V 7137 %@ 978-3-642-28411-3

@inproceedings{CHKMR2011a, added-at = {2016-08-05T15:59:03.000+0200}, author = {Codescu, Mihai and Horozal, Fulya and Kohlhase, Michael and Mossakowski, Till and Rabe, Florian}, biburl = {https://www.bibsonomy.org/bibtex/25e4259a6a8f27c60171b965ce244751e/tillmo}, booktitle = {Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010}, editor = {Mossakowski, Till and Kreowski, Hans-J{\"o}rg}, interhash = {d463990485868dee075a51df0c22b206}, intrahash = {5e4259a6a8f27c60171b965ce244751e}, isbn = {978-3-642-28411-3}, keywords = {imported}, pages = {118-138}, pdfurl = {https://svn.omdoc.org/repos/latin/public/latin-hiding_wadt10.pdf}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2018-05-03T17:13:21.000+0200}, title = {A Proof Theoretic Interpretation of Model Theoretic Hiding}, volume = 7137, year = 2012 }