Search dblp for Publications

export results for "toc:db/journals/fuin/fuin32.bht:"

 download as .bib file

@article{DBLP:journals/fuin/AlessiDd97,
  author       = {Fabio Alessi and
                  Mariangiola Dezani{-}Ciancaglini and
                  Ugo de'Liguoro},
  title        = {A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {193--250},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323401},
  doi          = {10.3233/FI-1997-323401},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AlessiDd97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Bucciarelli97,
  author       = {Antonio Bucciarelli},
  title        = {Bi-Models: Relational Versus Domain-Theoretic Approaches},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {251--266},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323402},
  doi          = {10.3233/FI-1997-323402},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Bucciarelli97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BujosaCH97,
  author       = {Andr{\'{e}}s Bujosa and
                  Regino Criado and
                  Miguel Angel Hern{\'{a}}ndez{-}Medina},
  title        = {Unification: Nothing but the Solution of a System of Linear Equations},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {267--280},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323403},
  doi          = {10.3233/FI-1997-323403},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BujosaCH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CastilhoCGH97,
  author       = {Marcos A. Castilho and
                  Luis Fari{\~{n}}as del Cerro and
                  Olivier Gasquet and
                  Andreas Herzig},
  title        = {Modal Tableaux with Propagation Rules and Structural Rules},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {281--297},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323404},
  doi          = {10.3233/FI-1997-323404},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CastilhoCGH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChakrabortyB97,
  author       = {Mihir K. Chakraborty and
                  Sanjukta Basu},
  title        = {Graded Consequence and Some Metalogical Notions Generalized},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {299--311},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323405},
  doi          = {10.3233/FI-1997-323405},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChakrabortyB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChakrabortyO97,
  author       = {Mihir K. Chakraborty and
                  Ewa Orlowska},
  title        = {Substitutivity Principles in Some Theories of Uncertainty},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {2},
  pages        = {107--120},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32201},
  doi          = {10.3233/FI-1997-32201},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChakrabortyO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChlebusDP97,
  author       = {Bogdan S. Chlebus and
                  Krzysztof Diks and
                  Andrzej Pelc},
  title        = {Transition-Optimal Token Distribution},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {313--328},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323406},
  doi          = {10.3233/FI-1997-323406},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChlebusDP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Fokkink97,
  author       = {Wan J. Fokkink},
  title        = {An Axiomatization for Regular Processes in Times Branching Bisimulation},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {329--340},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323407},
  doi          = {10.3233/FI-1997-323407},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Fokkink97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FriasBH97,
  author       = {Marcelo F. Frias and
                  Gabriel Baum and
                  Armando Martin Haeberer},
  title        = {Fork Algebras in Algebra, Logic and Computer Science},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {1},
  pages        = {1--25},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32101},
  doi          = {10.3233/FI-1997-32101},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FriasBH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GaasterlandL97,
  author       = {Terry Gaasterland and
                  Jorge Lobo},
  title        = {Qualifying Answers According to User Needs and Preferences},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {2},
  pages        = {121--137},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32202},
  doi          = {10.3233/FI-1997-32202},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GaasterlandL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Honkala97,
  author       = {Juha Honkala},
  title        = {Decision Problems Concerning a Power Series Generalization of {DTOL}
                  Systems},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {341--348},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323408},
  doi          = {10.3233/FI-1997-323408},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Honkala97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KasangianV97,
  author       = {Stefano Kasangian and
                  Sebastiano Vigna},
  title        = {The Topos of Labelled Trees: {A} Categorical Semantics for {SCCS}},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {1},
  pages        = {27--45},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32102},
  doi          = {10.3233/FI-1997-32102},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KasangianV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KhamsiM97,
  author       = {Mohamed A. Khamsi and
                  Driss Misane},
  title        = {Disjunctive Signed Logic Programs},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {349--357},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323409},
  doi          = {10.3233/FI-1997-323409},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KhamsiM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MarekNR97,
  author       = {V. Wiktor Marek and
                  Anil Nerode and
                  Jeffrey B. Remmel},
  title        = {Complexity of Recursive Normal Default Logic},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {2},
  pages        = {139--147},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32203},
  doi          = {10.3233/FI-1997-32203},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MarekNR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PaunPS97,
  author       = {Gheorghe Paun and
                  Lech Polkowski and
                  Andrzej Skowron},
  title        = {Rough Set Approximations of Languages},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {2},
  pages        = {149--162},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32204},
  doi          = {10.3233/FI-1997-32204},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PaunPS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PigozziS97,
  author       = {Don Pigozzi and
                  Antonino Salibra},
  title        = {Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {1},
  pages        = {47--90},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32103},
  doi          = {10.3233/FI-1997-32103},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PigozziS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/RuizM97,
  author       = {Carolina Ruiz and
                  Jack Minker},
  title        = {Combining Closed World Assumptions with Stable Negation},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {2},
  pages        = {163--181},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32205},
  doi          = {10.3233/FI-1997-32205},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RuizM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Segerberg97,
  author       = {Krister Segerberg},
  title        = {Proposal for a Theory of Belief Revision Along the Lines of Lindstr{\"{o}}m
                  and Rabinowicz},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {2},
  pages        = {183--191},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32206},
  doi          = {10.3233/FI-1997-32206},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Segerberg97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Skarbek97,
  author       = {Wladyslaw Skarbek},
  title        = {On Relation of Image Compression and Image Association},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {359--371},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323410},
  doi          = {10.3233/FI-1997-323410},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Skarbek97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/TipleaM97,
  author       = {Ferucio Laurentiu Tiplea and
                  Erkki M{\"{a}}kinen},
  title        = {Jumping Petri Nets. Specific Properties},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {3-4},
  pages        = {373--392},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-323411},
  doi          = {10.3233/FI-1997-323411},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/TipleaM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Tyszkiewicz97,
  author       = {Jerzy Tyszkiewicz},
  title        = {Queries and Algorithms Computable by Polynomial Time Existential Reflective
                  Machines},
  journal      = {Fundam. Informaticae},
  volume       = {32},
  number       = {1},
  pages        = {91--105},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-32104},
  doi          = {10.3233/FI-1997-32104},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Tyszkiewicz97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.