default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs149.bht:"
@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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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} }
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.