A precongruence format for should testing preorder

Huang, Xiaowei and Li, Jiao and Weiming, Lu (2010) A precongruence format for should testing preorder. Journal of Logic and Algebraic Programming. pp. 245-263. ISSN 1567-8326

[img]
Preview
Text
A Precongruence Format For Should Testing Preorder.pdf

Download (329kB)
Item Type: Article
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 01 Jun 2017 08:03
Last Modified: 01 Jun 2017 09:12
URI: http://www.open-access.bcu.ac.uk/id/eprint/4485

Actions (login required)

View Item View Item

Research

In this section...