VSL 2014: VIENNA SUMMER OF LOGIC 2014

Coherent Logic and Applications

Author: Marc Bezem

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Coherent Logic and Applications
Authors:Marc Bezem
Proceedings:CHR 2014 CoRR proceedings
Editors: Rémy Haemmerlé and Jon Sneyers
Keywords:
Abstract:
Pages:1
Talk:Jul 18 09:00
Paper:
Disclaimer | Powered by EasyChair Smart Program