Fundamenta Informaticae, Volume 65

Volume 65, Number 1-2, 2005

Martin Hofmann, Pawel Urzyczyn:
Typed Lambda Calculi and Applications 2003, Selected Papers.
Michael 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

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

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

Last update Sat May 18 20:26:39 2013 CET by the DBLP Team —

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