Search dblp for Publications

export results for "toc:db/journals/tcs/tcs185.bht:"

 download as .bib file

@article{DBLP:journals/tcs/AlbrechtCJ97,
  author       = {David W. Albrecht and
                  John N. Crossley and
                  John S. Jeavons},
  title        = {New Curry-Howard Terms for Full Linear Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {2},
  pages        = {217--235},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00044-3},
  doi          = {10.1016/S0304-3975(97)00044-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AlbrechtCJ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ArimuraIS97,
  author       = {Hiroki Arimura and
                  Hiroki Ishizaka and
                  Takeshi Shinohara},
  title        = {Learning Unions of Tree Patterns Using Queries},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {47--62},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00015-7},
  doi          = {10.1016/S0304-3975(97)00015-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ArimuraIS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Auer97,
  author       = {Peter Auer},
  title        = {Learning Nested Differences in the Presence of Malicious Noise},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {159--175},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00019-4},
  doi          = {10.1016/S0304-3975(97)00019-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Auer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Jay97,
  author       = {C. Barry Jay},
  title        = {Covariant Types},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {2},
  pages        = {237--258},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00045-5},
  doi          = {10.1016/S0304-3975(97)00045-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Jay97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KececiogluLT97,
  author       = {John D. Kececioglu and
                  Ming Li and
                  John Tromp},
  title        = {Inferring a {DNA} Sequence from Erroneous Copies},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {3--13},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00013-3},
  doi          = {10.1016/S0304-3975(97)00013-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KececiogluLT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KoshibaMT97,
  author       = {Takeshi Koshiba and
                  Erkki M{\"{a}}kinen and
                  Yuji Takada},
  title        = {Learning Deterministic even Linear Languages From Positive Examples},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {63--79},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00016-9},
  doi          = {10.1016/S0304-3975(97)00016-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KoshibaMT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lin97,
  author       = {Xuemin Lin},
  title        = {A Fully Distributed Quorum Consensus Method with High Fault-Tolerance
                  and Low Communication Overhead},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {2},
  pages        = {259--275},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00046-7},
  doi          = {10.1016/S0304-3975(97)00046-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lin97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mason97,
  author       = {Ian A. Mason},
  title        = {A First Order Logic of Effects},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {2},
  pages        = {277--318},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00047-9},
  doi          = {10.1016/S0304-3975(97)00047-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mason97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Meyer97,
  author       = {L{\'{e}}a Meyer},
  title        = {Probabilistic Language Learning Under Monotonicity Constraints},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {81--128},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00017-0},
  doi          = {10.1016/S0304-3975(97)00017-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Meyer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/OrgunD97,
  author       = {Mehmet A. Orgun and
                  Weichang Du},
  title        = {Multi-Dimensional Logic Programming: Theoretical Foundations},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {2},
  pages        = {319--345},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00048-0},
  doi          = {10.1016/S0304-3975(97)00048-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/OrgunD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PantziouRS97,
  author       = {Grammati E. Pantziou and
                  Alan Roberts and
                  Antonios Symvonis},
  title        = {Many-to-Many Routings on Trees via Matchings},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {2},
  pages        = {347--377},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00049-2},
  doi          = {10.1016/S0304-3975(97)00049-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PantziouRS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Rao97,
  author       = {M. R. K. Krishna Rao},
  title        = {A Framework for Incremental Learning of Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {193--213},
  year         = {1997},
  timestamp    = {Wed, 19 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rao97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sakakibara97,
  author       = {Yasubumi Sakakibara},
  title        = {Recent Advances of Grammatical Inference},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {15--45},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00014-5},
  doi          = {10.1016/S0304-3975(97)00014-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sakakibara97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Stephan97,
  author       = {Frank Stephan},
  title        = {Noisy Inference and Oracles},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {129--157},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00018-2},
  doi          = {10.1016/S0304-3975(97)00018-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Stephan97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TakimotoMMS97,
  author       = {Eiji Takimoto and
                  Akira Miyashiro and
                  Akira Maruoka and
                  Yoshifumi Sakai},
  title        = {Learning Orthogonal F-Horn Formulas},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {177--190},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00020-0},
  doi          = {10.1016/S0304-3975(97)00020-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/TakimotoMMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Vincent97,
  author       = {Millist W. Vincent},
  title        = {A Corrected 5NF Definition for Relational Database Design},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {2},
  pages        = {379--391},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00050-9},
  doi          = {10.1016/S0304-3975(97)00050-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Vincent97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Weibel97,
  author       = {Trudy Weibel},
  title        = {An Order-Sorted Resolution in Theory and Practice},
  journal      = {Theor. Comput. Sci.},
  volume       = {185},
  number       = {2},
  pages        = {393--410},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00051-0},
  doi          = {10.1016/S0304-3975(97)00051-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Weibel97.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.