VSL 2014: VIENNA SUMMER OF LOGIC 2014

Work in Progress: Algebraic Abstract Reduction Systems

Authors: Benoît Valiron and Michele Pagani

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:Work in Progress: Algebraic Abstract Reduction Systems
Authors:Benoît Valiron and Michele Pagani
Proceedings:WIR 2014 Extended Abstracts
Editor: Hans Zantema
Keywords:
Abstract:
Pages:5
Talk:Jul 12 17:00
Paper:
Disclaimer | Powered by EasyChair Smart Program