A decision procedure for the existence of a rank function.

Journal article

Open access

Peer reviewed

A decision procedure for the existence of a rank function.

J Heather and S Schneider

Journal of Computer Security, Vol.13(2), pp.317-344

2005

Abstract

Files and links (2)

pdf

jcs05158.37 kBDownload View

TextSRIDA, Open Access

url

http://iospress.metapress.com/content/va78em9k994nyyuh/View

Published (Version of record)

Metrics

Details

Title: A decision procedure for the existence of a rank function.
Creators: J Heather
S Schneider
Publication Details: Journal of Computer Security, Vol.13(2), pp.317-344
Publisher: IOS Press
Publication Date: 2005
Identifiers: 99511886802346
Academic Unit: Department of Computer Science
Resource Type: Journal article