Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AjiliC97,
  author       = {Farid Ajili and
                  Evelyne Contejean},
  title        = {Avoiding Slack Variables in the Solving of Linear Diophantine Equations
                  and Inequations},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {183--208},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00195-8},
  doi          = {10.1016/S0304-3975(96)00195-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AjiliC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BjornerBM97,
  author       = {Nikolaj S. Bj{\o}rner and
                  Anca Browne and
                  Zohar Manna},
  title        = {Automatic Generation of Invariants and Intermediate Assertions},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {49--87},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00191-0},
  doi          = {10.1016/S0304-3975(96)00191-0},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BjornerBM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CerioliM97,
  author       = {Maura Cerioli and
                  Jos{\'{e}} Meseguer},
  title        = {May {I} Borrow Your Logic? (Transporting Logical Structures Along
                  Maps)},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {2},
  pages        = {311--347},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00160-0},
  doi          = {10.1016/S0304-3975(96)00160-0},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CerioliM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CostaR97,
  author       = {Gerardo Costa and
                  Gianna Reggio},
  title        = {Specification of Abstract Dynamic-Data Types: {A} Temporal Logic Approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {2},
  pages        = {513--554},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00165-X},
  doi          = {10.1016/S0304-3975(96)00165-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CostaR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DechterB97,
  author       = {Rina Dechter and
                  Peter van Beek},
  title        = {Local and Global Relational Consistency},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {283--308},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)86737-0},
  doi          = {10.1016/S0304-3975(97)86737-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DechterB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GirodiasCO97,
  author       = {Pierre Girodias and
                  Eduard Cerny and
                  William J. Older},
  title        = {Solving Linear, Min and Max Constraint Systems Using {CLP} Based on
                  Relational Interval Arithmetic},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {253--281},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00198-3},
  doi          = {10.1016/S0304-3975(96)00198-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GirodiasCO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GrumbachS97,
  author       = {St{\'{e}}phane Grumbach and
                  Jianwen Su},
  title        = {Queries with Arithmetical Constraints},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {151--181},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00194-6},
  doi          = {10.1016/S0304-3975(96)00194-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GrumbachS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HennickerWB97,
  author       = {Rolf Hennicker and
                  Martin Wirsing and
                  Michel Bidoit},
  title        = {Proof Systems for Structured Specifications with Observability Operators},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {2},
  pages        = {393--443},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00162-4},
  doi          = {10.1016/S0304-3975(96)00162-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HennickerWB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JouannaudO97,
  author       = {Jean{-}Pierre Jouannaud and
                  Mitsuhiro Okada},
  title        = {Abstract Data Type Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {2},
  pages        = {349--391},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00161-2},
  doi          = {10.1016/S0304-3975(96)00161-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JouannaudO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KahrsST97,
  author       = {Stefan Kahrs and
                  Donald Sannella and
                  Andrzej Tarlecki},
  title        = {The Definition of Extended {ML:} {A} Gentle Introduction},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {2},
  pages        = {445--484},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00163-6},
  doi          = {10.1016/S0304-3975(96)00163-6},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/KahrsST97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Koubarakis97a,
  author       = {Manolis Koubarakis},
  title        = {From Local to Global Consistency in Temporal Constraint Networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {89--112},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00192-2},
  doi          = {10.1016/S0304-3975(96)00192-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Koubarakis97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Maher97,
  author       = {Michael J. Maher},
  title        = {Constrained Dependencies},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {113--149},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00193-4},
  doi          = {10.1016/S0304-3975(96)00193-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Maher97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MarriottO97,
  author       = {Kim Marriott and
                  Martin Odersky},
  title        = {A Confluent Calculus for Concurrent Constraint Programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {209--233},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00196-X},
  doi          = {10.1016/S0304-3975(96)00196-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MarriottO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MichelH97,
  author       = {Laurent Michel and
                  Pascal Van Hentenryck},
  title        = {Helios: {A} Modeling Language for Global Optimization and its Implementation
                  in Newton},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {3--48},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00190-9},
  doi          = {10.1016/S0304-3975(96)00190-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MichelH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/OrejasPE97,
  author       = {Fernando Orejas and
                  Elvira Pino and
                  Hartmut Ehrig},
  title        = {Institutions for Logic Programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {2},
  pages        = {485--511},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00164-8},
  doi          = {10.1016/S0304-3975(96)00164-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/OrejasPE97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PodelskiS97,
  author       = {Andreas Podelski and
                  Gert Smolka},
  title        = {Situated Simplification},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {235--252},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00197-1},
  doi          = {10.1016/S0304-3975(96)00197-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PodelskiS97.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.