Reasoning on Abstract Matrix Structures

Research output: Contribution to conference (unpublished)Abstract

Colleges, School and Institutes

Details

Original languageEnglish
Pages36-37
Number of pages2
Publication statusPublished - 1 Jul 2008
EventProceedings of the 15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice -
Duration: 1 Jul 2008 → …

Conference

ConferenceProceedings of the 15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Period1/07/08 → …