@tillmo

A Proof Theoretic Interpretation of Model Theoretic Hiding

, , , , and . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 118-138. Springer, (2012)

Links and resources

BibTeX key:
CHKMR2011a
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication