On the Consistency of Precedence Matrices
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Mathematical Structure of Nonarithmetic Data Processing Procedures
Journal of the ACM (JACM)
Analysis of Graphs by Connectivity Considerations
Journal of the ACM (JACM)
Legality and Other Properties of Graph Models of Computations
Journal of the ACM (JACM)
The role of programming in a Ph.D. computer science program
Communications of the ACM
The organization of structured files
Communications of the ACM
Further remarks on sampling a tape file—III
Communications of the ACM
Checking for loops in networks
Communications of the ACM
An Automated Software Design Assistant
IEEE Transactions on Software Engineering
A Dynamic Memory Allocation Algorithm
IEEE Transactions on Computers
On Static Memory Allocation in Computer Systems
IEEE Transactions on Computers
Applications of Boolean matrices to the analysis of flow diagrams
IRE-AIEE-ACM '59 (Eastern) Papers presented at the December 1-3, 1959, eastern joint IRE-AIEE-ACM computer conference
A methodology for the design and optimization of information processing systems
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
Representation of Concurrency with Ordering Matrices
IEEE Transactions on Computers
On nilpotency of generalized fuzzy matrices
Fuzzy Sets and Systems
An algebra of layered complex preferences
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Hi-index | 0.08 |
A new method of checking the consistency of precedence matrices is demonstrated. The method is based on the theorem that a precedence matrix is consistent if and only if every principal submatrix has at least one zero row or zero column. Because this method recognizes inconsistencies in their implicit form whereas the conventional method recognized only explicit contradictions, a considerable saving in time and effort can be effected, since the process of making explicit all the implications of a precedence matrix particularly a larger one, is a tedious time-consuming operation.