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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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 A. Hernandez{-}Medina},
  title     = {Unification: Nothing but the Solution of a System of Linear Equations},
  journal   = {Fundam. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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 Fokkink},
  title     = {An Axiomatization for Regular Processes in Times Branching Bisimulation},
  journal   = {Fundam. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Thu, 21 Sep 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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 Pu{a}un and
               Lech Polkowski and
               Andrzej Skowron},
  title     = {Rough Set Approximations of Languages},
  journal   = {Fundam. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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