Algebra and Automated Deduction

Stephen Alexander Linton, Ursula Hilda Mary Martin, P Prohle, DD Shand

Research output: Contribution to conference › Paper

Cite this

@conference{d3a74c76b8224dc6aca0e434e933599b,

title = "Algebra and Automated Deduction",

author = "Linton, \{Stephen Alexander\} and Martin, \{Ursula Hilda Mary\} and P Prohle and DD Shand",

note = "Proc 13th International Conference on Automated Deduction (CADE-13). Lecture Notes in Computer Science, vol 1104",

year = "1996",

language = "English",

pages = "448--462",

}

TY - CONF

T1 - Algebra and Automated Deduction

AU - Linton, Stephen Alexander

AU - Martin, Ursula Hilda Mary

AU - Prohle, P

AU - Shand, DD

N1 - Proc 13th International Conference on Automated Deduction (CADE-13). Lecture Notes in Computer Science, vol 1104

PY - 1996

Y1 - 1996

UR - https://www.scopus.com/pages/publications/84957652730

M3 - Paper

SP - 448

EP - 462

ER -