A Translation Method for Four-valued Logics
File(s)translation-method-4-val-logic.pdf (184.8 KB)
Working Paper
Author(s)
Russo, A
Rodrigues, O
Type
Report
Date Issued
1998
Citation
Technical Report, Technical Report, 1998
Publisher
Imperial College London, Department of Computing
Is Part Of Series
Technical Report
Journal / Book Title
Technical Report
Technical Report
Copyright Statement
© 1998 Imperial College, Department of Computing