Reference : Logic Beyond Formulas: A Graphical Proof System
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/44426
Logic Beyond Formulas: A Graphical Proof System
English
Horne, Ross James mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Acclavio, Matteo mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Straßburger, Lutz []
2020
In 35th Annual ACM⁄IEEE Symposium on Logic in Computer Science (LICS ’20), July 8–11, 2020, Saarbrücken, Germany. ACM
pp. 15
Yes
http://hdl.handle.net/10993/44426

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
LBF.pdfPublisher postprint883.75 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.