Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

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

> Home > Search

download as .bib file

@article{DBLP:journals/tcs/Benke99,
  author       = {Marcin Benke},
  title        = {Some Complexity Bounds for Subtype Inequalities},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {3--27},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00134-0},
  doi          = {10.1016/S0304-3975(98)00134-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Benke99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BerarducciD99,
  author       = {Alessandro Berarducci and
                  Mariangiola Dezani{-}Ciancaglini},
  title        = {Infinite lambda-Calculus and Types},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {29--75},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00135-2},
  doi          = {10.1016/S0304-3975(98)00135-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BerarducciD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Boley99,
  author       = {Harold Boley},
  title        = {Functional-Logic Integration via Minimal Reciprocal Extensions},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {77--99},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00136-4},
  doi          = {10.1016/S0304-3975(98)00136-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Boley99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BonoB99,
  author       = {Viviana Bono and
                  Michele Bugliesi},
  title        = {Matching for the lambda Calculus of Objects},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {101--140},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00137-6},
  doi          = {10.1016/S0304-3975(98)00137-6},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BonoB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DyckhoffP99,
  author       = {Roy Dyckhoff and
                  Lu{\'{\i}}s Pinto},
  title        = {Permutability of Proofs in Intuitionistic Sequent Calculi},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {141--155},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00138-8},
  doi          = {10.1016/S0304-3975(98)00138-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DyckhoffP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EmmsL99,
  author       = {Martin Emms and
                  Hans Lei{\ss}},
  title        = {Extending the Type Checker of Standard {ML} by Polymorphic Recursion},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {157--181},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00139-X},
  doi          = {10.1016/S0304-3975(98)00139-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EmmsL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HonsellL99,
  author       = {Furio Honsell and
                  Marina Lenisa},
  title        = {Semantical Analysis of Perpetual Strategies in lambda-Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {183--209},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00140-6},
  doi          = {10.1016/S0304-3975(98)00140-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HonsellL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/IntrigilaZ99,
  author       = {Benedetto Intrigila and
                  Marisa Venturini Zilli},
  title        = {Orders, Reduction Graphs and Spectra},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {211--231},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00141-8},
  doi          = {10.1016/S0304-3975(98)00141-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/IntrigilaZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Piperno99,
  author       = {Adolfo Piperno},
  title        = {An Algebraic View of the B{\"{o}}hm-Out Technique},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {233--246},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00142-X},
  doi          = {10.1016/S0304-3975(98)00142-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Piperno99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schwichtenberg99,
  author       = {Helmut Schwichtenberg},
  title        = {Termination of Permutative Conversions in Intuitionistic Gentzen Calculi},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {247--260},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00143-1},
  doi          = {10.1016/S0304-3975(98)00143-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schwichtenberg99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Spreen99,
  author       = {Dieter Spreen},
  title        = {On Functions Preserving Levels of Approximation: {A} Refined Model
                  Construction for Various lambda Calculi},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {261--303},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00144-3},
  doi          = {10.1016/S0304-3975(98)00144-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Spreen99.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.