default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs82.bht:"
download as .bib file
@article{DBLP:journals/tcs/AbadiL91,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
title = {The Existence of Refinement Mappings},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {253--284},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90224-P},
doi = {10.1016/0304-3975(91)90224-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbadiL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BadouelD91,
author = {{\'{E}}ric Badouel and
Philippe Darondeau},
title = {On Guarded Recursion},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {403--408},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90231-P},
doi = {10.1016/0304-3975(91)90231-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BadouelD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenB91,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Recursive Process Definitions with the State Operator},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {285--302},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90225-Q},
doi = {10.1016/0304-3975(91)90225-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bauderon91,
author = {Michel Bauderon},
title = {Infinite Hypergraphs I. Basic Properties},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {177--214},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90222-N},
doi = {10.1016/0304-3975(91)90222-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bauderon91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaludeI91,
author = {Cristian Calude and
Gabriel Istrate},
title = {Determining and Stationary Sets for Some Classes of Partial Recursive
Functions},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {151--155},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90178-5},
doi = {10.1016/0304-3975(91)90178-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaludeI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Curien91,
author = {Pierre{-}Louis Curien},
title = {An Abstract Framework for Environment Machines},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {389--402},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90230-Y},
doi = {10.1016/0304-3975(91)90230-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Curien91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DenisD91,
author = {Fran{\c{c}}ois Denis and
Jean{-}Paul Delahaye},
title = {Is there an Axiomatic Semantics for Standard Pure Prolog},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {373--388},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90229-U},
doi = {10.1016/0304-3975(91)90229-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DenisD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DietzfelbingerMS91,
author = {Martin Dietzfelbinger and
Wolfgang Maass and
Georg Schnitger},
title = {The Complexity of Matrix Transposition on One-Tape Off-Line Turing
Machines},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {113--129},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90175-2},
doi = {10.1016/0304-3975(91)90175-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DietzfelbingerMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EngelfrietLR91,
author = {Joost Engelfriet and
George Leih and
Grzegorz Rozenberg},
title = {Nonterminal Separation in Graph Grammars},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {95--111},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90174-Z},
doi = {10.1016/0304-3975(91)90174-Z},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EngelfrietLR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GermanoM91,
author = {Giorgio Germano and
Stefano Mazzanti},
title = {Closure Functions and General Iterates as Reflectors},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {215--252},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90223-O},
doi = {10.1016/0304-3975(91)90223-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GermanoM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hebrard91,
author = {Jean{-}Jacques H{\'{e}}brard},
title = {An Algorithm for Distinguishing Efficiently Bit-Strings by their Subsequences},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {35--49},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90170-7},
doi = {10.1016/0304-3975(91)90170-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hebrard91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hoofman91,
author = {Raymond Hoofman},
title = {Weakly Expressive Models for Hoare Logic},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {409--418},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90232-Q},
doi = {10.1016/0304-3975(91)90232-Q},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Hoofman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HowellRY91a,
author = {Rodney R. Howell and
Louis E. Rosier and
Hsu{-}Chun Yen},
title = {A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {341--372},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90228-T},
doi = {10.1016/0304-3975(91)90228-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HowellRY91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ko91,
author = {Ker{-}I Ko},
title = {On Adaptive Versus Nonadaptive Bounded Query Machines},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {51--69},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90171-W},
doi = {10.1016/0304-3975(91)90171-W},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ko91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lando91,
author = {Barbara Lando},
title = {Periodicity and Ultimate Periodicity of {D0L} Systems},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {19--33},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90169-3},
doi = {10.1016/0304-3975(91)90169-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Lando91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Leo91,
author = {Joop M. I. M. Leo},
title = {A General Context-Free Parsing Algorithm Running in Linear Time on
Every {LR} (k) Grammar Without Using Lookahead},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {165--176},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90180-A},
doi = {10.1016/0304-3975(91)90180-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Leo91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LukassenV91,
author = {Axel Lukassen and
Gottfried Vossen},
title = {A Formal Framework for Independence with Respect to Transactions in
the Universal Relation Model},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {303--327},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90226-R},
doi = {10.1016/0304-3975(91)90226-R},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LukassenV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mignosi91,
author = {Filippo Mignosi},
title = {On the Number of Factors of Sturmian Words},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {71--84},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90172-X},
doi = {10.1016/0304-3975(91)90172-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mignosi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PalkoSV91,
author = {Vladimir Palko and
Ondrej S{\'{y}}kora and
Imrich Vrto},
title = {Area Complexity of Merging},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {157--163},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90179-6},
doi = {10.1016/0304-3975(91)90179-6},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PalkoSV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Robson91,
author = {J. M. Robson},
title = {An {O} {(T} log {T)} Reduction from {RAM} Computations to Satisfiability},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {141--149},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90177-4},
doi = {10.1016/0304-3975(91)90177-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Robson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SalomaaY91,
author = {Kai Salomaa and
Sheng Yu},
title = {Decidability of Structural Equivalence of {E0L} Grammars},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {131--139},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90176-3},
doi = {10.1016/0304-3975(91)90176-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SalomaaY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Snir91,
author = {Marc Snir},
title = {Size-depth Trade-Offs for Monotone Arithmetic Circuits},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {85--93},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90173-Y},
doi = {10.1016/0304-3975(91)90173-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Snir91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Szwast91,
author = {Wieslaw Szwast},
title = {On Horn Spectra},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {329--339},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90227-S},
doi = {10.1016/0304-3975(91)90227-S},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Szwast91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchK91,
author = {Klaus Weihrauch and
Christoph Kreitz},
title = {Type 2 Computational Complexity of Functions on Cantor's Space},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {1--18},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90168-2},
doi = {10.1016/0304-3975(91)90168-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchK91.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.
retrieved on 2024-09-22 10:26 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:
