Error in the UNITY substitution rule for subscripted operators

DOI10.1007/BF01211309zbMath0941.68524OpenAlexW1972067194MaRDI QIDQ1336953

I. S. W. B. Prasetya

Publication date: 26 February 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211309

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Eliminating the substitution axiom from UNITY logic

This page was built for publication: Error in the UNITY substitution rule for subscripted operators