Combinatorial Proofs and Decomposition Theorems for First-order Logic
Hughes, Dominic J. D., Strasburger, Lutz, Wu, Jui-Hsuan
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Intuitionistic proofs without syntax
Heijltjes, Willem B., Hughes, Dominic J. D., StraBburger, Lutz
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets
Heijltjes, Willem, Hughes, Dominic J. D.
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Get full text
Conference Proceeding
개인화된 피드를 갖는 구독자 애플리케이션 및 사용자 프라이버시를 유지하면서 추천들을 제공하는 방법
RUFFENACH COLLIN D, SUNG JUSTIN W, MURRETT MARTIN J, GINGRICH MARK A, HUGHES DOMINIC J, LANGMEAD GREGORY C, MARMON STEVE E, ORTIZ GUILLERMO, JAMMALAMADAKA RAVI CHANDRA, NOVAK JASON A, BEAVER DONALD R, MAHAPATRA AMOGH, ELSETH IAN J, DOUGHERTY CASEY M, TU KANG, SOFIANATOS GEORGIOS
Year of Publication 13.12.2017
Get full text
Year of Publication 13.12.2017
Patent
Determining importance of investment identifier to content of content item
Sewani, Anil A, Hughes, Dominic J, Ramkumar, Gurumurthy D, Lau, Chi Wai, Mahapatra, Amogh
Year of Publication 22.03.2022
Get full text
Year of Publication 22.03.2022
Patent