Volume 103, Numbers 1-4, 2010

• 
  Anna Gambin, Damian Niwinski, Pawel Urzyczyn: Preface.
• 
  Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo: A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. 1-29
• 
  Jan A. Bergstra, C. A. Middelburg: Data Linkage Dynamics with Shedding. 31-52
• 
  Norbert Dojer: An Efficient Algorithm for Learning Bayesian Networks from Data. 53-67
• 
  Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets: The Complexity of Restricted Variants of the Stable Paths Problem. 69-87
• 
  Anna Gambin, Boguslaw Kluge: Modeling Proteolysis from Mass Spectrometry Proteomic Data. 89-104
• 
  Pawel Górecki: H-trees: a Model of Evolutionary Scenarios with Horizontal Gene Transfer. 105-128
• 
  Dexter Kozen: Church-Rosser Made Easy. 129-136
• 
  Jaroslaw D. M. Kusmierek, Viviana Bono: Big-step Operational Semantics Revisited. 137-172
• 
  Michele Pagani, Simona Ronchi Della Rocca: Linearity, Non-determinism and Solvability. 173-202
• 
  Vaughan Pratt: Communes via Yoneda, from an Elementary Perspective. 203-218
• 
  Ryszard Rudnicki, Radoslaw Wieczorek: Asymptotic Analysis of a Semelparous Species Model. 219-233
• 
  Yaki Setty, Irun R. Cohen, David Harel: Modeling Biology using Generic Reactive Animation. 235-246
• 
  Olin Shivers, Mitchell Wand: Bottom-up beta-reduction: Uplinks and lambda-DAGs. 247-287
• 
  Jerzy Tyszkiewicz: Complexity of Type Inference. 289-301
• 
  Pawel Urzyczyn: The Logic of Persistent Intersection. 303-322
• 
  Bartek Wilczynski, Torgeir R. Hvidsten: A Computer Scientist's Guide to the Regulatory Genome. 323-332

last updated on Mon May 20 03:09:22 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page