Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AhlswedeYZ90,
  author       = {Rudolf Ahlswede and
                  Jian{-}ping Ye and
                  Zhen Zhang},
  title        = {Creating Order in Sequence Spaces with Simple Machines},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {1},
  pages        = {47--94},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90020-I},
  doi          = {10.1016/0890-5401(90)90020-I},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AhlswedeYZ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BarringtonST90,
  author       = {David A. Mix Barrington and
                  Howard Straubing and
                  Denis Th{\'{e}}rien},
  title        = {Non-Uniform Automata Over Groups},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {2},
  pages        = {109--132},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90007-5},
  doi          = {10.1016/0890-5401(90)90007-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BarringtonST90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Chlebus90,
  author       = {Bogdan S. Chlebus},
  title        = {Turing Machines With Access to History},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {2},
  pages        = {133--143},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90008-6},
  doi          = {10.1016/0890-5401(90)90008-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Chlebus90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Finkel90,
  author       = {Alain Finkel},
  title        = {Reduction and covering of infinite reachability trees},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {2},
  pages        = {144--179},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90009-7},
  doi          = {10.1016/0890-5401(90)90009-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Finkel90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Leivant90,
  author       = {Daniel Leivant},
  title        = {Inductive Definitions Over Finite Structures},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {2},
  pages        = {95--108},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90006-4},
  doi          = {10.1016/0890-5401(90)90006-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Leivant90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LiuWZ90,
  author       = {Hai{-}Ning Liu and
                  Celia Wrathall and
                  Kenneth Zeger},
  title        = {Efficient Solution to Some Problems in Free Partially Commutative
                  Monoids},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {2},
  pages        = {180--198},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90010-F},
  doi          = {10.1016/0890-5401(90)90010-F},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LiuWZ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Tofte90,
  author       = {Mads Tofte},
  title        = {Type Inference for Polymorphic References},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {1},
  pages        = {1--34},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90018-D},
  doi          = {10.1016/0890-5401(90)90018-D},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Tofte90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Zaionc90,
  author       = {Marek Zaionc},
  title        = {A Characterisation of Lambda Definable Tree Operations},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {1},
  pages        = {35--46},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90019-E},
  doi          = {10.1016/0890-5401(90)90019-E},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Zaionc90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}