VSL 2014: VIENNA SUMMER OF LOGIC 2014

Instantiation-based reasoning, EPR encodings and all that

Author: Konstantin Korovin

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Instantiation-based reasoning, EPR encodings and all that
Authors:Konstantin Korovin
Proceedings:LaSh 2014 Proceedings
Editors: Emilia Oikarinen, Marc Denecker and David Mitchell
Keywords:
Abstract:
Pages:1
Talk:Jul 18 09:00
Paper:
Disclaimer | Powered by EasyChair Smart Program