Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AbiteboulVV95,
  author       = {Serge Abiteboul and
                  Moshe Y. Vardi and
                  Victor Vianu},
  title        = {Computing with Infinitary Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {1},
  pages        = {101--128},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00027-T},
  doi          = {10.1016/0304-3975(95)00027-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbiteboulVV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Abraham95,
  author       = {Uri Abraham},
  title        = {On Interprocess Communication and the Implementation of Multi-Writer
                  Atomic Registers},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {2},
  pages        = {257--298},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00013-M},
  doi          = {10.1016/0304-3975(95)00013-M},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Abraham95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BrogiT95,
  author       = {Antonio Brogi and
                  Franco Turini},
  title        = {Fully Abstract Composition Semantics for an Algebra of Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {2},
  pages        = {201--209},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00012-L},
  doi          = {10.1016/0304-3975(95)00012-L},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrogiT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BunemanNTW95,
  author       = {Peter Buneman and
                  Shamim A. Naqvi and
                  Val Tannen and
                  Limsoon Wong},
  title        = {Principles of Programming with Complex Objects and Collection Types},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {1},
  pages        = {3--48},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00024-Q},
  doi          = {10.1016/0304-3975(95)00024-Q},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BunemanNTW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BusscheG95,
  author       = {Jan Van den Bussche and
                  Dirk Van Gucht},
  title        = {The Expressive Power of Cardinality-Bounded Set Values in Object-Based
                  Data Models},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {1},
  pages        = {49--66},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00025-R},
  doi          = {10.1016/0304-3975(95)00025-R},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BusscheG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Costantini95,
  author       = {Stefania Costantini},
  title        = {Contributions to the Stable Model Semantics of Logic Programs with
                  Negation},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {2},
  pages        = {231--255},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00259-L},
  doi          = {10.1016/0304-3975(94)00259-L},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Costantini95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DesharnaisBSTJMZ95,
  author       = {Jules Desharnais and
                  Nadir Belkhiter and
                  Salah Ben Mohamed Sghaier and
                  Fairouz Tchier and
                  Ali Jaoua and
                  Ali Mili and
                  Nejib Zaguia},
  title        = {Embedding a Demonic Semilattice in a Relational Algebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {2},
  pages        = {333--360},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00271-J},
  doi          = {10.1016/0304-3975(94)00271-J},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DesharnaisBSTJMZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FeketeLW95,
  author       = {Alan D. Fekete and
                  Nancy A. Lynch and
                  William E. Weihl},
  title        = {Hybrid Atomicity for Nested Transactions},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {1},
  pages        = {151--178},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00029-V},
  doi          = {10.1016/0304-3975(95)00029-V},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FeketeLW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GrumbachT95,
  author       = {St{\'{e}}phane Grumbach and
                  Christophe Tollu},
  title        = {On the Expressive Power of Counting},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {1},
  pages        = {67--99},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00026-S},
  doi          = {10.1016/0304-3975(95)00026-S},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GrumbachT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KivinenM95,
  author       = {Jyrki Kivinen and
                  Heikki Mannila},
  title        = {Approximate Inference of Functional Dependencies from Relations},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {1},
  pages        = {129--149},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00028-U},
  doi          = {10.1016/0304-3975(95)00028-U},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/KivinenM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MontanariY95,
  author       = {Ugo Montanari and
                  Daniel Yankelevich},
  title        = {Location Equivalence in Parametric Setting},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {2},
  pages        = {299--332},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00219-9},
  doi          = {10.1016/0304-3975(94)00219-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MontanariY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schmidt-SchaussMP95,
  author       = {Manfred Schmidt{-}Schau{\ss} and
                  Massimo Marchiori and
                  Sven Eric Panitz},
  title        = {Modular Termination of r-Consistent and Left-Linear Term Rewriting
                  Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {2},
  pages        = {361--374},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00080-G},
  doi          = {10.1016/0304-3975(95)00080-G},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schmidt-SchaussMP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WongA95,
  author       = {Man Hon Wong and
                  Divyakant Agrawal},
  title        = {Context-Specific Synchronization for Atomic Data Types in Object-Based
                  Databases},
  journal      = {Theor. Comput. Sci.},
  volume       = {149},
  number       = {1},
  pages        = {179--199},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00030-Z},
  doi          = {10.1016/0304-3975(95)00030-Z},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/WongA95.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.