Expression Reduction Systems and Extensions: An Overview

John R. W. Glauert, Delia Kesner, Zurab Khasidashvili

Research output: Chapter in Book/Report/Conference proceedingChapter

9 Citations (Scopus)
Original languageEnglish
Title of host publicationProcesses, Terms and Cycles: Steps on the Road to Infinity. Essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
EditorsAart Middledorp, Vincent van Oostrom, Femke van Raamsdonk, Roel De Vrijer
Place of PublicationBerlin / Heidelberg
PublisherSpringer
Pages496-553
Number of pages58
Volume3838
ISBN (Print)978-3-540-30911-6
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Cite this