Jump to Navigation
LTG
Logic and Theory Group
You are here
Home
›
Publications
Export 1 results:
BibTex
RTF
Tagged
XML
RIS
Filters:
Author
is
Costas Drossos
[Clear All Filters]
2009
R. Kuznets
,
“
A Note on the Use of Sum in the Logic of Proofs
”
, in
Proceedings of the 7th {P}anhellenic {L}ogic {S}ymposium
, Patras University, Greece, 2009, pp. 99–103.
Google Scholar
BibTex
RTF
Tagged
XML
RIS
Home
Contact
Staff
Research Topics
Lectures
Calendar
Publications
Journal Articles
Conference Papers
Habilitation Theses
PhD Theses
Master's Theses
Technical Reports
Authors