%0 Conference Paper %1 conf/wadt/CodescuHKMR10 %A Codescu, Mihai %A Horozal, Feryal Fulya %A Kohlhase, Michael %A Mossakowski, Till %A Rabe, Florian %B WADT %D 2010 %E Mossakowski, Till %E Kreowski, Hans-Jörg %I Springer %K dblp %P 118-138 %T A Proof Theoretic Interpretation of Model Theoretic Hiding. %U http://dblp.uni-trier.de/db/conf/wadt/wadt2010.html#CodescuHKMR10 %V 7137 %@ 978-3-642-28411-3

@inproceedings{conf/wadt/CodescuHKMR10, added-at = {2022-10-02T00:00:00.000+0200}, author = {Codescu, Mihai and Horozal, Feryal Fulya and Kohlhase, Michael and Mossakowski, Till and Rabe, Florian}, biburl = {https://www.bibsonomy.org/bibtex/254d54e4470fb490c390a9dc6e079465c/dblp}, booktitle = {WADT}, crossref = {conf/wadt/2010}, editor = {Mossakowski, Till and Kreowski, Hans-Jörg}, ee = {https://www.wikidata.org/entity/Q57389356}, interhash = {73344fd3d0d4e51333f372741393e2bc}, intrahash = {54d54e4470fb490c390a9dc6e079465c}, isbn = {978-3-642-28411-3}, keywords = {dblp}, pages = {118-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:04:25.000+0200}, title = {A Proof Theoretic Interpretation of Model Theoretic Hiding.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt2010.html#CodescuHKMR10}, volume = 7137, year = 2010 }