Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Aasa95,
  author       = {Annika Aasa},
  title        = {Precedences in Specifications and Implementations of Programming Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {1},
  pages        = {3--26},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)90680-J},
  doi          = {10.1016/0304-3975(95)90680-J},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Aasa95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AlpuenteFL95,
  author       = {Mar{\'{\i}}a Alpuente and
                  Moreno Falaschi and
                  Giorgio Levi},
  title        = {Incremental Constraint Satisfaction for Equational Logic Programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {1},
  pages        = {27--57},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00224-7},
  doi          = {10.1016/0304-3975(94)00224-7},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AlpuenteFL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AspertiL95,
  author       = {Andrea Asperti and
                  Cosimo Laneve},
  title        = {Paths, Computations and Labels in the lambda-Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {2},
  pages        = {277--297},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00279-7},
  doi          = {10.1016/0304-3975(94)00279-7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AspertiL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BaaderS95,
  author       = {Franz Baader and
                  Klaus U. Schulz},
  title        = {Combination Techniques and Decision Problems for Disunification},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {2},
  pages        = {229--255},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00277-0},
  doi          = {10.1016/0304-3975(94)00277-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BaaderS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DershowitzH95,
  author       = {Nachum Dershowitz and
                  Charles Hoot},
  title        = {Natural Termination},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {2},
  pages        = {179--207},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00275-4},
  doi          = {10.1016/0304-3975(94)00275-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DershowitzH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gallier95,
  author       = {Jean H. Gallier},
  title        = {Proving Properties of Typed lambda-Terms Using Realizability, Covers,
                  and Sheaves},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {2},
  pages        = {299--368},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00280-0},
  doi          = {10.1016/0304-3975(94)00280-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gallier95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kirchner95,
  author       = {Claude Kirchner},
  title        = {Editorial},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {2},
  pages        = {139--140},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00273-8},
  doi          = {10.1016/0304-3975(94)00273-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kirchner95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LoogenW95,
  author       = {Rita Loogen and
                  Stephan Winkler},
  title        = {Dynamic Detection of Determinism in Functional Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {1},
  pages        = {59--87},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00225-8},
  doi          = {10.1016/0304-3975(94)00225-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LoogenW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LynchS95,
  author       = {Christopher Lynch and
                  Wayne Snyder},
  title        = {Redundancy Criteria for Constrained Completion},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {2},
  pages        = {141--177},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00274-6},
  doi          = {10.1016/0304-3975(94)00274-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LynchS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Nilsson95,
  author       = {Ulf Nilsson},
  title        = {Abstract Interpretation: {A} Kind of Magic},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {1},
  pages        = {125--139},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00223-6},
  doi          = {10.1016/0304-3975(94)00223-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Nilsson95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ProiettiP95,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  title        = {Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary
                  Variables in Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {1},
  pages        = {89--124},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00227-A},
  doi          = {10.1016/0304-3975(94)00227-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ProiettiP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RubioN95,
  author       = {Albert Rubio and
                  Robert Nieuwenhuis},
  title        = {A Total AC-Compatible Ordering Based on {RPO}},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {2},
  pages        = {209--227},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00276-2},
  doi          = {10.1016/0304-3975(94)00276-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/RubioN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Senizergues95,
  author       = {G{\'{e}}raud S{\'{e}}nizergues},
  title        = {Some Undecidable Termination Problems for Semi-Thue Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {2},
  pages        = {257--276},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00278-9},
  doi          = {10.1016/0304-3975(94)00278-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Senizergues95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.