default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs13.bht:"
download as .bib file
@article{DBLP:journals/tcs/Engeler81,
author = {Erwin Engeler},
title = {Generalized Galois Theory and its Application to Complexity},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {271--293},
year = {1981},
url = {https://doi.org/10.1016/S0304-3975(81)80002-3},
doi = {10.1016/S0304-3975(81)80002-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Engeler81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GalilS81,
author = {Zvi Galil and
Joel I. Seiferas},
title = {Linear-Time String-Matching Using only a Fixed Number of Local Storage
Locations},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {331--336},
year = {1981},
url = {https://doi.org/10.1016/S0304-3975(81)80006-0},
doi = {10.1016/S0304-3975(81)80006-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GalilS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Gallier81,
author = {Jean H. Gallier},
title = {Nondeterministic Flowchart Programs with Recursive Procedures: Semantics
and Correctness {I}},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {193--223},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90039-6},
doi = {10.1016/0304-3975(81)90039-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Gallier81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Gallier81a,
author = {Jean H. Gallier},
title = {Nondeterministic Flowchart Programs with Recursive Procedures: Semantics
and Correctness {II}},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {239--270},
year = {1981},
url = {https://doi.org/10.1016/S0304-3975(81)80001-1},
doi = {10.1016/S0304-3975(81)80001-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Gallier81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GenrichL81,
author = {Hartmann J. Genrich and
Kurt Lautenbach},
title = {System Modelling with High-Level Petri Nets},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {109--136},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90113-4},
doi = {10.1016/0304-3975(81)90113-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GenrichL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Goldfarb81,
author = {Warren D. Goldfarb},
title = {The Undecidability of the Second-Order Unification Problem},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {225--230},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90040-2},
doi = {10.1016/0304-3975(81)90040-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Goldfarb81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GurariI81,
author = {Eitan M. Gurari and
Oscar H. Ibarra},
title = {The Complexity of the Equivalence Problem for two Characterizations
of Presburger Sets},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {295--314},
year = {1981},
url = {https://doi.org/10.1016/S0304-3975(81)80003-5},
doi = {10.1016/S0304-3975(81)80003-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GurariI81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Harel81,
author = {David Harel},
title = {On the Total Correctness of Nondeterministic Programs},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {175--192},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90038-4},
doi = {10.1016/0304-3975(81)90038-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Harel81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Heide81,
author = {Friedhelm Meyer auf der Heide},
title = {A Comparison of two Variations of a Pebble Game on Graphs},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {315--322},
year = {1981},
url = {https://doi.org/10.1016/S0304-3975(81)80004-7},
doi = {10.1016/S0304-3975(81)80004-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Heide81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Leiss81,
author = {Ernst L. Leiss},
title = {Succint Representation of Regular Languages by Boolean Automata},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {323--330},
year = {1981},
url = {https://doi.org/10.1016/S0304-3975(81)80005-9},
doi = {10.1016/S0304-3975(81)80005-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Leiss81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LynchF81,
author = {Nancy A. Lynch and
Michael J. Fischer},
title = {On Describing the Behavior and Implementation of Distributed Systems},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {17--43},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90109-2},
doi = {10.1016/0304-3975(81)90109-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LynchF81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maggiolo-SchettiniWW81,
author = {Andrea Maggiolo{-}Schettini and
Horst F. Wedde and
J{\'{o}}zef Winkowski},
title = {Modeling a Solution for a Control Problem in Distributed Systems by
Restrictions},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {61--83},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90111-0},
doi = {10.1016/0304-3975(81)90111-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Maggiolo-SchettiniWW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NielsenPW81,
author = {Mogens Nielsen and
Gordon D. Plotkin and
Glynn Winskel},
title = {Petri Nets, Event Structures and Domains, Part {I}},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {85--108},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90112-2},
doi = {10.1016/0304-3975(81)90112-2},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NielsenPW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pnueli81,
author = {Amir Pnueli},
title = {The Temporal Semantics of Concurrent Programs},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {45--60},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90110-9},
doi = {10.1016/0304-3975(81)90110-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pnueli81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Stoy81,
author = {Joseph E. Stoy},
title = {The Congruence of two Programming Language Definitions},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {151--174},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90037-2},
doi = {10.1016/0304-3975(81)90037-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Stoy81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Straubing81,
author = {Howard Straubing},
title = {A Generalization of the Sch{\"{u}}tzenberger Product of Finite
Monoids},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {137--150},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90036-0},
doi = {10.1016/0304-3975(81)90036-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Straubing81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Thomas81,
author = {Wolfgang Thomas},
title = {Remark on the Star-Height-Problem},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {231--237},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90041-4},
doi = {10.1016/0304-3975(81)90041-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Thomas81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wadge81,
author = {William W. Wadge},
title = {An Extensional Treatment of Dataflow Deadlock},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {3--15},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90108-0},
doi = {10.1016/0304-3975(81)90108-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wadge81.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 2025-01-14 21:29 CET 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:
