share record
persistent URL:
Naoki Kobayashi , C.-H. Luke Ong : A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. LICS 2009 : 179-188 share record
persistent URL:
Joachim De Lataillade : Dinatural Terms in System F. LICS 2009 : 267-276 share record
persistent URL:
Jérôme Leroux : The General Vector Addition System Reachability Problem by Presburger Inductive Invariants. LICS 2009 : 4-13 share record
persistent URL:
Chuck C. Liang , Dale Miller : A Unified Sequent Calculus for Focused Proofs. LICS 2009 : 355-364 share record
persistent URL:
Florent R. Madelaine , Barnaby Martin : The Complexity of Positive First-order Logic without Equality. LICS 2009 : 429-438 share record
persistent URL:
Samuel Mimram : The Structure of First-Order Causality. LICS 2009 : 212-221 share record
persistent URL:
Sumit Nain , Moshe Y. Vardi : Trace Semantics is Fully Abstract. LICS 2009 : 59-68 share record
persistent URL:
C.-H. Luke Ong , Nikos Tzevelekos : Functional Reachability. LICS 2009 : 286-295 share record
persistent URL:
Michele Pagani , Christine Tasson : The Inverse Taylor Expansion Problem in Linear Logic. LICS 2009 : 222-231 share record
persistent URL:
Frank Pfenning , Robert J. Simmons : Substructural Operational Semantics as Ordered Logic Programming. LICS 2009 : 101-110 share record
persistent URL:
Benjamin Rossman : Combining Ehrenfeucht-Fraïssé Games. LICS 2009 : 331 share record
persistent URL:
Michel de Rougemont , Mathieu Tracol : Statistic Analysis for Probabilistic Processes. LICS 2009 : 299-308 share record
persistent URL:
Tony Tan : Graph Reachability and Pebble Automata over Infinite Alphabets. LICS 2009 : 157-166 share record
persistent URL:
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA. IEEE Computer Society 2009 , ISBN 978-0-7695-3746-7 [contents]