1
IRUS TotalDownloads
Altmetric
A Translation Method for Four-valued Logics
File | Description | Size | Format | |
---|---|---|---|---|
translation-method-4-val-logic.pdf | Working Paper | 184.8 kB | Adobe PDF | View/Open |
Title: | A Translation Method for Four-valued Logics |
Authors: | Russo, A Rodrigues, O |
Item Type: | Report |
Issue Date: | 31-Dec-1998 |
URI: | http://hdl.handle.net/10044/1/5997 |
Publisher Link: | http://www.doc.ic.ac.uk/research/technicalreports/1998/#7 |
DOI: | https://doi.org/10.25561/5997 |
Publisher: | Imperial College London, Department of Computing |
Series/Report no.: | Technical Report |
Copyright Statement: | © 1998 Imperial College, Department of Computing |
Appears in Collections: | Distributed Software Engineering Computing Technical Reports |