SOS rule formats for idempotent terms and idempotent unary operators

Saved in:
Bibliographic Details
Published inThe journal of logic and algebraic programming Vol. 83; no. 1; pp. 64 - 80
Main Authors Aceto, Luca, Ingolfsdottir, Anna, Goriac, Eugen-Ioan
Format Journal Article
LanguageEnglish
Published 01.01.2014
Online AccessGet full text
ISSN1567-8326
DOI10.1016/j.jlap.2013.07.003

Cover

More Information
ISSN:1567-8326
DOI:10.1016/j.jlap.2013.07.003