Reasoning on Abstract Matrix Structures

Research output: Contribution to conference (unpublished) › Abstract

Original language	English
Pages	36-37
Number of pages	2
Publication status	Published - 1 Jul 2008
Event	Proceedings of the 15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - Duration: 1 Jul 2008 → …

Conference	Proceedings of the 15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Period	1/07/08 → …

Cite this

@conference{a6473eae7fa84edf947e9ff55bfb5de5,

title = "Reasoning on Abstract Matrix Structures",

author = "Alan Sexton and Volker Sorge and L Dennis and Volker Sorge",

year = "2008",

month = jul,

day = "1",

language = "English",

pages = "36--37",

note = "Proceedings of the 15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice ; Conference date: 01-07-2008",

}