Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
Editor: Till Mossakowski, Hans-Jörg Kreowski
Title: A Proof Theoretic Interpretation of Model Theoretic Hiding
Book / Collection title: Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010
Volume: 7137
Page(s): 118 – 138
Series: Lecture Notes in Computer Science
Year published: 2012
Publisher: Springer
ISBN: 978-3-642-28411-3
PDF Version: https://svn.omdoc.org/repos/latin/public/latin-hiding_wadt10.pdf
Status: Reviewed
Last updated: 08. 03. 2012

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum