Dantchev, S. and Riis, S. (2003) 'On relativisation and complexity gap for resolution-based proof systems.', in Computer science logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, 25-30 August 2003, Vienna, Austria ; proceedings. Berlin: Springer, pp. 142-154. Lecture notes in computer science. (2803).
| Item Type: | Book chapter |
|---|
| Full text: | Full text not available from this repository. |
|---|
| Publisher Web site: | http://dx.doi.org/10.1007/b13224 |
|---|
| Record Created: | 30 Oct 2008 |
|---|
| Last Modified: | 08 Nov 2010 12:17 |
|---|
![[Feed]](/images/RSSwebsmall.jpg)
![[Tweets]](/images/Twitterwebsmall.png)
