VSL 2014: VIENNA SUMMER OF LOGIC 2014

Basic Normalization

Authors: Nao Hirokawa, Aart Middeldorp and Georg Moser

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Basic Normalization
Authors:Nao Hirokawa, Aart Middeldorp and Georg Moser
Proceedings:IFIP-WG16 Proceedings (Abstracts)
Editor: Jürgen Giesl
Keywords:normalization, leftmost outermost, term rewriting
Abstract:
Pages:1
Talk:Jul 13 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program