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
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
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