Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Kramer, Simon
2013In Proc.\ 6th Workshop on Intuitionistic Modal Logic and Applications
Peer reviewed
 

Files


Full Text
simon-1.pdf
Publisher postprint (386.09 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Kramer, Simon ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Publication date :
2013
Event name :
6th Workshop on Intuitionistic Modal Logic and Applications
Event date :
07-04-2013
Main work title :
Proc.\ 6th Workshop on Intuitionistic Modal Logic and Applications
Collection name :
Electronic Notes in Theoretical Computer Science
Peer reviewed :
Peer reviewed
Commentary :
47-70 300
Available on ORBilu :
since 17 March 2016

Statistics


Number of views
30 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
3
Scopus citations®
without self-citations
1

Bibliography


Similar publications



Contact ORBilu