Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Deposit type : Fulltext
labStructName_s : Microsoft Research [Redmond]
Image document

Primal Infon Logic with Conjunctions as Sets

Carlos Cotrini , Yuri Gurevich , Ori Lahav , Artem Melentyev
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.236-249, ⟨10.1007/978-3-662-44602-7_19⟩
Conference papers hal-01402046v1