Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs87.bht:"
download as .bib file
@article{DBLP:journals/tcs/BalstersF91,
author = {Herman Balsters and
Maarten M. Fokkinga},
title = {Subtyping Can Have a Simple Semantics},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {81--96},
year = {1991},
url = {https://doi.org/10.1016/S0304-3975(06)80005-8},
doi = {10.1016/S0304-3975(06)80005-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BalstersF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Calude91,
author = {Cristian Calude},
title = {Relativized Topological Size of Sets of Partial Recursive Functions},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {2},
pages = {347--352},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90331-U},
doi = {10.1016/0304-3975(91)90331-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Calude91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Csuhaj-VarjuD91,
author = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
J{\"{u}}rgen Dassow},
title = {On Bounded Interpretations of Grammar Forms},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {2},
pages = {287--313},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90328-Y},
doi = {10.1016/0304-3975(91)90328-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Csuhaj-VarjuD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DiksR91,
author = {Krzysztof Diks and
Wojciech Rytter},
title = {On Optimal Parallel Computations for Sequences of Brackets},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {2},
pages = {251--262},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90326-W},
doi = {10.1016/0304-3975(91)90326-W},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DiksR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Esik91,
author = {Zolt{\'{a}}n {\'{E}}sik},
title = {Results on Homomorphic Realization of Automata by alpha{\_}0-Products},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {2},
pages = {229--249},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90325-V},
doi = {10.1016/0304-3975(91)90325-V},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Esik91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Farmer91,
author = {William M. Farmer},
title = {Simple Second-order Languages for which Unification is Undecidable},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {25--41},
year = {1991},
url = {https://doi.org/10.1016/S0304-3975(06)80003-4},
doi = {10.1016/S0304-3975(06)80003-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Farmer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FournierB91,
author = {Reine Fournier and
Gregor von Bochmann},
title = {The Equivalence in the {DCP} Model},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {97--114},
year = {1991},
url = {https://doi.org/10.1016/S0304-3975(06)80006-X},
doi = {10.1016/S0304-3975(06)80006-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FournierB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GardinerM91,
author = {Paul H. B. Gardiner and
Carroll Morgan},
title = {Data Refinement of Predicate Transformers},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {143--162},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90029-2},
doi = {10.1016/0304-3975(91)90029-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GardinerM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GyssensG91,
author = {Marc Gyssens and
Dirk Van Gucht},
title = {A Comparison between Algebraic Query Languages for Flat and Nested
Databases},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {2},
pages = {263--286},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90327-X},
doi = {10.1016/0304-3975(91)90327-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GyssensG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hallnas91,
author = {Lars Halln{\"{a}}s},
title = {Partial Inductive Definitions},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {115--142},
year = {1991},
url = {https://doi.org/10.1016/S0304-3975(06)80007-1},
doi = {10.1016/S0304-3975(06)80007-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hallnas91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Heibig91,
author = {A. G. Heibig},
title = {Control Machines: {A} New Model of Parallelism for Compositional Specifications
and Their Effective Compilation},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {43--80},
year = {1991},
url = {https://doi.org/10.1016/S0304-3975(06)80004-6},
doi = {10.1016/S0304-3975(06)80004-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Heibig91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LucaV91,
author = {Aldo de Luca and
Stefano Varricchio},
title = {Finiteness and Iteration Conditions for Semigroups},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {2},
pages = {315--327},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90329-Z},
doi = {10.1016/0304-3975(91)90329-Z},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LucaV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/McCuneW91,
author = {William McCune and
Larry Wos},
title = {The Absence and the Presence of Fixed Point Combinators},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {221--228},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90034-Y},
doi = {10.1016/0304-3975(91)90034-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/McCuneW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mezghiche91,
author = {Mohamed Mezghiche},
title = {Weak Completeness of Type Assignment in lambda-Calculus Models: {A}
Generalization of Hindley's Result},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {203--208},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90032-W},
doi = {10.1016/0304-3975(91)90032-W},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mezghiche91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MilnerT91,
author = {Robin Milner and
Mads Tofte},
title = {Co-Induction in Relational Semantics},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {209--220},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90033-X},
doi = {10.1016/0304-3975(91)90033-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MilnerT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NirmalR91,
author = {Nalinakshi Nirmal and
Raghavan Rama},
title = {Machine Characterization of {(E0L-E0L)} Array Languages},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {2},
pages = {329--346},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90330-5},
doi = {10.1016/0304-3975(91)90330-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NirmalR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Stoltenberg-HansenT91,
author = {Viggo Stoltenberg{-}Hansen and
John V. Tucker},
title = {Algebraic and Fixed Point Equations over Inverse Limits of Algebras},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {1--24},
year = {1991},
url = {https://doi.org/10.1016/S0304-3975(06)80002-2},
doi = {10.1016/S0304-3975(06)80002-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Stoltenberg-HansenT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wilm91,
author = {A. Wilm},
title = {Determinism and Non-determinism in {PDL}},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {189--202},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90031-V},
doi = {10.1016/0304-3975(91)90031-V},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wilm91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zierer91,
author = {Hans Zierer},
title = {Relation Algebraic Domain Constructions},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {163--188},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90030-6},
doi = {10.1016/0304-3975(91)90030-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zierer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 18:36 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
