:facetid:toc:\"db/journals/fuin/fuin65.bht\"OK:facetid:toc:db/journals/fuin/fuin65.bhtMichael Gordon AbbottThorsten AltenkirchConor McBrideNeil Ghanifor Data: Differentiating Data Structures.Fundam. Informaticae651-21-282005Journal Articlesclosedjournals/fuin/AbbottAMG05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-02https://dblp.org/rec/journals/fuin/AbbottAMG05URL#5822777Roberto M. AmadioSynthesis of max-plus quasi-interpretations.Fundam. Informaticae651-229-602005Journal Articlesclosedjournals/fuin/Amadio05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-03https://dblp.org/rec/journals/fuin/Amadio05URL#5822778Frédéric BlanquiInductive types in the Calculus of Algebraic Constructions.Fundam. Informaticae651-261-862005Journal Articlesclosedjournals/fuin/Blanqui05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-04https://dblp.org/rec/journals/fuin/Blanqui05URL#5822784Chi-Shiang ChanChin-Chen Chang 0001An Image Hiding Scheme Based on Multi-bit-reference Substitution Table Using Dynamic Programming Strategy.Fundam. Informaticae654291-3052005Journal Articlesclosedjournals/fuin/ChanC05http://content.iospress.com/articles/fundamenta-informaticae/fi65-4-01https://dblp.org/rec/journals/fuin/ChanC05URL#5822795Paolo Coppola 0001Simona Ronchi Della RoccaPrincipal Typing for Lambda Calculus in Elementary Affine Logic.Fundam. Informaticae651-287-1122005Journal Articlesclosedjournals/fuin/CoppolaR05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-05https://dblp.org/rec/journals/fuin/CoppolaR05URL#5822799Thierry CoquandRandy PollackMakoto TakeyamaA Logical Framework with Dependently Typed Records.Fundam. Informaticae651-2113-1342005Journal Articlesclosedjournals/fuin/CoquandPT05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-06https://dblp.org/rec/journals/fuin/CoquandPT05URL#5822800Ernst-Erich DoberkatTracing Relations Probabilistically.Fundam. Informaticae653193-2092005Journal Articlesclosedjournals/fuin/Doberkat05http://content.iospress.com/articles/fundamenta-informaticae/fi65-3-01https://dblp.org/rec/journals/fuin/Doberkat05URL#5822808Hartmut EhrigBehaviour and Instantiation of High-Level Petri Net Processes.Fundam. Informaticae653211-2472005Journal Articlesclosedjournals/fuin/Ehrig05http://content.iospress.com/articles/fundamenta-informaticae/fi65-3-02https://dblp.org/rec/journals/fuin/Ehrig05URL#5822812Irina GeorgescuRevealed Preference, Congruence and Rationality: A Fuzzy Approach.Fundam. Informaticae654307-3282005Journal Articlesclosedjournals/fuin/Georgescu05http://content.iospress.com/articles/fundamenta-informaticae/fi65-4-02https://dblp.org/rec/journals/fuin/Georgescu05URL#5822820Martin Hofmann 0001Pawel UrzyczynTyped Lambda Calculi and Applications 2003, Selected Papers.Fundam. Informaticae651-22005Journal Articlesclosedjournals/fuin/HofmannU05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-01https://dblp.org/rec/journals/fuin/HofmannU05URL#5822828Thierry JolyOn lambda-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem.Fundam. Informaticae651-2135-1512005Journal Articlesclosedjournals/fuin/Joly05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-07https://dblp.org/rec/journals/fuin/Joly05URL#5822834Yoshihiko KakutaniMasahito HasegawaParameterizations and Fixed-Point Operators on Control Categories.Fundam. Informaticae651-2153-1722005Journal Articlesclosedjournals/fuin/KakutaniH05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-08https://dblp.org/rec/journals/fuin/KakutaniH05URL#5822836Jim LairdSequentiality in Bounded Biorders.Fundam. Informaticae651-2173-1912005Journal Articlesclosedjournals/fuin/Laird05http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-09https://dblp.org/rec/journals/fuin/Laird05URL#5822843Sanjiang LiMingsheng YingYongming Li 0001On countable RCC models.Fundam. Informaticae654329-3512005Journal Articlesclosedjournals/fuin/LiYL05http://content.iospress.com/articles/fundamenta-informaticae/fi65-4-03https://dblp.org/rec/journals/fuin/LiYL05URL#5822845Tzu-Chuen LuChin-Chen Chang 0001Data Compressor for VQ Index Tables.Fundam. Informaticae654353-3712005Journal Articlesclosedjournals/fuin/LuC05http://content.iospress.com/articles/fundamenta-informaticae/fi65-4-04https://dblp.org/rec/journals/fuin/LuC05URL#5822848A. ManiSuper Rough Semantics.Fundam. Informaticae653249-2612005Journal Articlesclosedjournals/fuin/Mani05http://content.iospress.com/articles/fundamenta-informaticae/fi65-3-03https://dblp.org/rec/journals/fuin/Mani05URL#5822850Jerzy MyckaReal Recursive Functions and Baire Classes.Fundam. Informaticae653263-2782005Journal Articlesclosedjournals/fuin/Mycka05http://content.iospress.com/articles/fundamenta-informaticae/fi65-3-04https://dblp.org/rec/journals/fuin/Mycka05URL#5822856Adrien RichardJean-Paul CometGilles BernotR. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics.Fundam. Informaticae654373-3922005Journal Articlesclosedjournals/fuin/RichardCB05http://content.iospress.com/articles/fundamenta-informaticae/fi65-4-05https://dblp.org/rec/journals/fuin/RichardCB05URL#5822870Sergey VerlanMaurice MargensternAbout Splicing P Systems with One Membrane.Fundam. Informaticae653279-2902005Journal Articlesclosedjournals/fuin/VerlanM05http://content.iospress.com/articles/fundamenta-informaticae/fi65-3-05https://dblp.org/rec/journals/fuin/VerlanM05URL#5822887