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/tcs52.bht:"
download as .bib file
@article{DBLP:journals/tcs/BalcazarDG87,
author = {Jos{\'{e}} L. Balc{\'{a}}zar and
Josep D{\'{\i}}az and
Joaquim Gabarr{\'{o}}},
title = {On Characterizations of the Class {PSPACE/POLY}},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {251--267},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90111-3},
doi = {10.1016/0304-3975(87)90111-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BalcazarDG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Brandenburg87,
author = {Franz{-}Josef Brandenburg},
title = {A Note on: 'Deque Automata and a Subfamily of Context-Sensitive Languages
which Contains All Semilinear Bounded Languages'},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {341--342},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90115-0},
doi = {10.1016/0304-3975(87)90115-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Brandenburg87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FelleisenFKD87,
author = {Matthias Felleisen and
Daniel P. Friedman and
Eugene E. Kohlbecker and
Bruce F. Duba},
title = {A Syntactic Theory of Sequential Control},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {205--237},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90109-5},
doi = {10.1016/0304-3975(87)90109-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FelleisenFKD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Gathen87,
author = {Joachim von zur Gathen},
title = {Factoring Polynomials and Primitive Elements for Special Primes},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {77--89},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90081-8},
doi = {10.1016/0304-3975(87)90081-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Gathen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GelenbeF87,
author = {Erol Gelenbe and
David Finkel},
title = {Stationary Deterministic Flows: {II.} The Single-Server Queue},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {269--280},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90112-5},
doi = {10.1016/0304-3975(87)90112-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GelenbeF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kennaway87,
author = {Richard Kennaway},
title = {On "On Graph Rewritings"},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {37--58},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90079-X},
doi = {10.1016/0304-3975(87)90079-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kennaway87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KimS87,
author = {Changwook Kim and
Ivan Hal Sudborough},
title = {The Membership and Equivalence Problems for Picture Languages},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {177--191},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90107-1},
doi = {10.1016/0304-3975(87)90107-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KimS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ko87,
author = {Ker{-}I Ko},
title = {On Helping by Robust Oracle Machines},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {15--36},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90078-8},
doi = {10.1016/0304-3975(87)90078-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ko87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarbergG87,
author = {John M. Marberg and
Eli Gafni},
title = {Distributed Sorting Algorithms for Multi-Channel Broadcast Networks},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {193--203},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90108-3},
doi = {10.1016/0304-3975(87)90108-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarbergG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Moriya87,
author = {Tetsuo Moriya},
title = {Topological Characterizations of Infinite Tree Languages},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {165--171},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90085-5},
doi = {10.1016/0304-3975(87)90085-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Moriya87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mundici87,
author = {Daniele Mundici},
title = {Satisfiability in Many-Valued Sentential Logic is NP-Complete},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {145--153},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90083-1},
doi = {10.1016/0304-3975(87)90083-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mundici87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Nigmatullin87,
author = {R. G. Nigmatullin},
title = {Models of Lower-Bounds Proofs},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {239--249},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90110-1},
doi = {10.1016/0304-3975(87)90110-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Nigmatullin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sakarovitch87,
author = {Jacques Sakarovitch},
title = {On Regular Trace Languages},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {59--75},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90080-6},
doi = {10.1016/0304-3975(87)90080-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Sakarovitch87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Seite87,
author = {B. Seite},
title = {A Yacc Extension for {LRR} Grammar Parsing},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {91--143},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90082-X},
doi = {10.1016/0304-3975(87)90082-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Seite87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Spirakis87,
author = {Paul G. Spirakis},
title = {The Parallel Complexity of Deadlock Detection},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {155--163},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90084-3},
doi = {10.1016/0304-3975(87)90084-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Spirakis87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Stefanescu87,
author = {Gheorghe Stefanescu},
title = {On Flowchart Theories: Part {II.} The Nondeterministic Case},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {307--340},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90114-9},
doi = {10.1016/0304-3975(87)90114-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Stefanescu87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Topor87,
author = {Rodney W. Topor},
title = {Domain-Independent Formulas and Databases},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {281--306},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90113-7},
doi = {10.1016/0304-3975(87)90113-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Topor87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zaionc87,
author = {Marek Zaionc},
title = {Word Operation Definable in the Typed lambda-Calculus},
journal = {Theor. Comput. Sci.},
volume = {52},
pages = {1--14},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90077-6},
doi = {10.1016/0304-3975(87)90077-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zaionc87.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-20 02:10 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:
