default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 103
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, Cornelis 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 R. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
