An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined
Title of host publication	IJCAR 2001-International Joint Conference on Automated Reasoning
Pages	113-121
State	Published - 2001
Externally published	Yes

ID: 4788921