25 research outputs found
Efficient algorithms for listing unlabeled graphs
Available from British Library Document Supply Centre- DSC:4534.9203(EU-CSR--7-90) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo
A metric characterization of fair computations in CCS
SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--169-84) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Counting paths Nondeterminism as linear algebra
SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--134-83) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Partitioning programmable logic arrays
SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--166-84) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Proceedings of Workshop on Process Algebra and Performance Modelling
Workshop held 21 May 1993Available from British Library Document Supply Centre- DSC:9109.386(EU-DCS-CSR--26-93) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo
The complexity of finding minimum-length generator sequences
Available from British Library Lending Division - LD:4534.9203(CSR--139-83) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo
Action structures
SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-249) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
A semantics for static type inference
SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-245) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
The elusiveness of large cliques in a random graph
SIGLEAvailable from British Library Document Supply Centre- DSC:4534.9203(CSR--9-90) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Behavioural correctness of data representations
SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--185-85) / BLDSC - British Library Document Supply CentreGBUnited Kingdo