Volume 65, Number 1-2, 2005
export record as
dblp key:
export record as
dblp key:
journals/fuin/AbbottAMG05 export record as
dblp key:
export record as
dblp key:
Frédéric Blanqui :
Inductive types in the Calculus of Algebraic Constructions.
61-86
export record as
dblp key:
export record as
dblp key:
journals/fuin/CoquandPT05 export record as
dblp key:
Thierry Joly :
On lambda-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem.
135-151
export record as
dblp key:
journals/fuin/KakutaniH05 export record as
dblp key:
Jim Laird :
Sequentiality in Bounded Biorders.
173-191
Volume 65, Number 3, 2005
export record as
dblp key:
export record as
dblp key:
Hartmut Ehrig :
Behaviour and Instantiation of High-Level Petri Net Processes.
211-247
export record as
dblp key:
A. Mani :
Super Rough Semantics.
249-261
export record as
dblp key:
Jerzy Mycka :
Real Recursive Functions and Baire Classes.
263-278
export record as
dblp key:
Volume 65, Number 4, 2005
export record as
dblp key:
export record as
dblp key:
journals/fuin/Georgescu05 Irina Georgescu :
Revealed Preference, Congruence and Rationality: A Fuzzy Approach.
307-328
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/fuin/RichardCB05
data released under the ODC-BY 1.0 license
