Frank Pfenning (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

135 Robert J. Simmons, Frank Pfenning: Logical approximation for program analysis. Higher-Order and Symbolic Computation 24(1-2): 41-80 (2011)

129 Frank Pfenning, Robert J. Simmons: Substructural Operational Semantics as Ordered Logic Programming. LICS 2009: 101-110

128 Robert J. Simmons, Frank Pfenning: Linear logical approximations. PEPM 2009: 9-20

124 Robert J. Simmons, Frank Pfenning: Linear Logical Algorithms. ICALP (2) 2008: 336-347

Selection of 4 from 142 records - Frank Pfenning has 85 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

135		Robert J. Simmons, Frank Pfenning: Logical approximation for program analysis. Higher-Order and Symbolic Computation 24(1-2): 41-80 (2011)
129		Frank Pfenning, Robert J. Simmons: Substructural Operational Semantics as Ordered Logic Programming. LICS 2009: 101-110
128		Robert J. Simmons, Frank Pfenning: Linear logical approximations. PEPM 2009: 9-20
124		Robert J. Simmons, Frank Pfenning: Linear Logical Algorithms. ICALP (2) 2008: 336-347