Models for the substitution axiom of UNITY logic

G. Reichwein, J.L. Fiadeiro

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)171-176
Number of pages6
JournalInformation Processing Letters
Volume48
Issue number4
DOIs
Publication statusPublished - 1 Jan 1993

Cite this