Search dblp for Publications

export results for "toc:db/journals/ijfcs/ijfcs2.bht:"

 download as .bib file

@article{DBLP:journals/ijfcs/AbadiPP91,
  author       = {Mart{\'{\i}}n Abadi and
                  Benjamin C. Pierce and
                  Gordon D. Plotkin},
  title        = {Faithful Ideal Models for Recursive Polymorphic Types},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {1},
  pages        = {1--21},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000029},
  doi          = {10.1142/S0129054191000029},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/AbadiPP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/ArvindB91,
  author       = {Vikraman Arvind and
                  Somenath Biswas},
  title        = {Edge-Deletion Graph Problems with First-Order Expressible Subgraph
                  Properties},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {2},
  pages        = {83--99},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000078},
  doi          = {10.1142/S0129054191000078},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/ArvindB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/BergstraMW91,
  author       = {Jan A. Bergstra and
                  Sjouke Mauw and
                  Freek Wiedijk},
  title        = {Uniform Algebraic Specifications of Finite Sets with Equality},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {1},
  pages        = {43--65},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000042},
  doi          = {10.1142/S0129054191000042},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BergstraMW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Bodlaender91,
  author       = {Hans L. Bodlaender},
  title        = {On the Complexity of Some Coloring Games},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {2},
  pages        = {133--147},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000091},
  doi          = {10.1142/S0129054191000091},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Bodlaender91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/CaiF91,
  author       = {Jin{-}yi Cai and
                  Merrick L. Furst},
  title        = {{PSPACE} Survives Constant-Width Bottlenecks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {1},
  pages        = {67--76},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000054},
  doi          = {10.1142/S0129054191000054},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CaiF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/ChenT91,
  author       = {Zhi{-}Zhong Chen and
                  Seinosuke Toda},
  title        = {On the Complexity of Computing Optimal Solutions},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {3},
  pages        = {207--220},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000133},
  doi          = {10.1142/S0129054191000133},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/ChenT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/HemachandraJ91,
  author       = {Lane A. Hemachandra and
                  Sanjay Jain},
  title        = {On the Limitations of Locally Robust Positive Reductions},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {3},
  pages        = {237--255},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000157},
  doi          = {10.1142/S0129054191000157},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HemachandraJ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Hirokawa91,
  author       = {Sachio Hirokawa},
  title        = {Prinipal Type Assignment to Lambda Terms},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {2},
  pages        = {149--162},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000108},
  doi          = {10.1142/S0129054191000108},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Hirokawa91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Huynh91,
  author       = {Dung T. Huynh},
  title        = {Efficient Detectors and Constructors for Single Languages},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {3},
  pages        = {183--206},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000121},
  doi          = {10.1142/S0129054191000121},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Huynh91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/InoueIT91,
  author       = {Katsushi Inoue and
                  Akira Ito and
                  Itsuo Takanami},
  title        = {Alternating Turing Machines with Modified Accepting Structure},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {4},
  pages        = {401--417},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000194},
  doi          = {10.1142/S0129054191000194},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/InoueIT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/JiangMR91,
  author       = {Tao Jiang and
                  Edward McDowell and
                  Bala Ravikumar},
  title        = {The Structure and Complexity of Minimal NFA's over a Unary Alphabet},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {2},
  pages        = {163--182},
  year         = {1991},
  url          = {https://doi.org/10.1142/S012905419100011X},
  doi          = {10.1142/S012905419100011X},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/JiangMR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Marti-OlietM91,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer},
  title        = {From Petri Nets to Linear Logic through Categories: {A} Survey},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {4},
  pages        = {297--399},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000182},
  doi          = {10.1142/S0129054191000182},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Marti-OlietM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/MetivierR91,
  author       = {Yves M{\'{e}}tivier and
                  Brigitte Rozoy},
  title        = {On the Star Operation in Free Partially Commutative Monoids},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {3},
  pages        = {257--265},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000169},
  doi          = {10.1142/S0129054191000169},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MetivierR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/MontiP91,
  author       = {Angelo Monti and
                  Domenico Parente},
  title        = {Systolic Tree with Base Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {3},
  pages        = {221--236},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000145},
  doi          = {10.1142/S0129054191000145},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MontiP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Nguyen91,
  author       = {Thanh Tung Nguyen},
  title        = {A Relational Model of Demonic Nondeterministic Programs},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {2},
  pages        = {101--131},
  year         = {1991},
  url          = {https://doi.org/10.1142/S012905419100008X},
  doi          = {10.1142/S012905419100008X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Nguyen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Panti91,
  author       = {Giovanni Panti},
  title        = {Solution of a Number Theoretic Problem Involving Knowledge},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {4},
  pages        = {419--424},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000200},
  doi          = {10.1142/S0129054191000200},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Panti91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/TuckerZ91,
  author       = {John V. Tucker and
                  Jeffery I. Zucker},
  title        = {Projections of Semicomputable Relations on Abstract Data Tzpes},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {3},
  pages        = {267--296},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000170},
  doi          = {10.1142/S0129054191000170},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/TuckerZ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Wilmes91,
  author       = {Thomas Wilmes},
  title        = {Functional Production Systems Viewed as Grammars},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {1},
  pages        = {23--41},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000030},
  doi          = {10.1142/S0129054191000030},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Wilmes91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Zanko91,
  author       = {Vikt{\'{o}}ria Zank{\'{o}}},
  title        = {{\#}P-Completeness via Many-One Reductions},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {1},
  pages        = {77--82},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000066},
  doi          = {10.1142/S0129054191000066},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Zanko91.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.