default search action
Fundamenta Informaticae, Volume 65
Volume 65, Number 1-2, 2005
- Martin Hofmann, Pawel Urzyczyn:
Typed Lambda Calculi and Applications 2003, Selected Papers. - Michael Gordon Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani:
for Data: Differentiating Data Structures. 1-28 - Roberto M. Amadio:
Synthesis of max-plus quasi-interpretations. 29-60 - Frédéric Blanqui:
Inductive types in the Calculus of Algebraic Constructions. 61-86 - Paolo Coppola, Simona Ronchi Della Rocca:
Principal Typing for Lambda Calculus in Elementary Affine Logic. 87-112 - Thierry Coquand, Randy Pollack, Makoto Takeyama:
A Logical Framework with Dependently Typed Records. 113-134 - Thierry Joly:
On lambda-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem. 135-151 - Yoshihiko Kakutani, Masahito Hasegawa:
Parameterizations and Fixed-Point Operators on Control Categories. 153-172 - Jim Laird:
Sequentiality in Bounded Biorders. 173-191
Volume 65, Number 3, 2005
- Ernst-Erich Doberkat:
Tracing Relations Probabilistically. 193-209 - Hartmut Ehrig:
Behaviour and Instantiation of High-Level Petri Net Processes. 211-247 - A. Mani:
Super Rough Semantics. 249-261 - Jerzy Mycka:
Real Recursive Functions and Baire Classes. 263-278 - Sergey Verlan, Maurice Margenstern:
About Splicing P Systems with One Membrane. 279-290
Volume 65, Number 4, 2005
- Chi-Shiang Chan, Chin-Chen Chang:
An Image Hiding Scheme Based on Multi-bit-reference Substitution Table Using Dynamic Programming Strategy. 291-305 - Irina Georgescu:
Revealed Preference, Congruence and Rationality: A Fuzzy Approach. 307-328 - Sanjiang Li, Mingsheng Ying, Yongming Li:
On countable RCC models. 329-351 - Tzu-Chuen Lu, Chin-Chen Chang:
Data Compressor for VQ Index Tables. 353-371 - Adrien Richard, Jean-Paul Comet, Gilles Bernot:
R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. 373-392
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-19 22:13 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: