guest ::
| Home > Conference materials > Papers > Notes on Condensed Detachment |
Original title:
Notes on Condensed Detachment
Authors: Chvalovský, Karel
Document type: Papers
Conference/Event: Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i., Jizerka (CZ), 2011-10-05 / 2011-10-07
Year: 2011
Language: eng
Keywords: Hilbert-style proof systems; propositional logic; the rule of condensed detachment
Project no.: CEZ:AV0Z10300504 (CEP)
Host item entry: Doktorandské dny '11, ISBN 978-80-7378-170-5
Rights: This work is protected under the Copyright Act No. 121/2000 Coll.
Institution: Institute of Computer Science AS ČR (web)
Original record: http://hdl.handle.net/11104/0200324
Permalink: http://www.nusl.cz/ntk/nusl-55972
The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers
Authors: Chvalovský, Karel
Document type: Papers
Conference/Event: Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i., Jizerka (CZ), 2011-10-05 / 2011-10-07
Year: 2011
Language: eng
Keywords: Hilbert-style proof systems; propositional logic; the rule of condensed detachment
Project no.: CEZ:AV0Z10300504 (CEP)
Host item entry: Doktorandské dny '11, ISBN 978-80-7378-170-5
Rights: This work is protected under the Copyright Act No. 121/2000 Coll.
Institution: Institute of Computer Science AS ČR (web)
Original record: http://hdl.handle.net/11104/0200324
Permalink: http://www.nusl.cz/ntk/nusl-55972
The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers
Record created 2011-10-11, last modified 2024-01-26
Fulltext:
PDFPlný tet:
If you can´t see the document in your browser, save it to your PC and open it in a suitable application.