{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:03Z","timestamp":1725565863842},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228493"},{"type":"electronic","value":"9783540278368"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_97","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T22:53:21Z","timestamp":1284591201000},"page":"1176-1187","source":"Crossref","is-referenced-by-count":0,"title":["LA, Permutations, and the Haj\u00f3s Calculus"],"prefix":"10.1007","author":[{"given":"Michael","family":"Soltys","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"97_CR1","unstructured":"Stephen, A.: Cook and Michael Soltys. The proof complexity of linear algebra. In: Seventeenth Annual IEEE Symposium on Logic in Computer Science, LICS 2002 (2002)"},{"key":"97_CR2","doi-asserted-by":"crossref","unstructured":"Kraj\u00ed\u010dek, J.: Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge (1995)","DOI":"10.1017\/CBO9780511529948"},{"issue":"3","key":"97_CR3","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1137\/S089548019224024X","volume":"8","author":"T. Pitassi","year":"1995","unstructured":"Pitassi, T., Urquhart, A.: The complexity of the Haj\u00f3s calculus. SIAM J. Disc. Math.\u00a08(3), 464\u2013483 (1995)","journal-title":"SIAM J. Disc. Math."},{"key":"97_CR4","unstructured":"Soltys, M.: The Complexity of Derivations of Matrix Identities. PhD thesis, University of Toronto (2001)"},{"key":"97_CR5","unstructured":"Soltys, M., Cook, S.: The complexity of derivations of matrix identities. To appear in the Annals of Pure and Applied Logic (2004)"},{"issue":"3","key":"97_CR6","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s00153-003-0205-z","volume":"43","author":"M. Soltys","year":"2004","unstructured":"Soltys, M., Urquhart, A.: Matrix identities and the pigeonhole principle. Archive for Mathematical Logic\u00a043(3), 351\u2013357 (2004)","journal-title":"Archive for Mathematical Logic"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:24:10Z","timestamp":1605759850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}