A Proof Theoretic Interpretation of Model Theoretic Hiding
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 118-138. Springer, (2012)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}