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/tcs54.bht:"
download as .bib file
@article{DBLP:journals/tcs/Bajaj87,
author = {Chandrajit L. Bajaj},
title = {Geometric Optimization and the Polynomial Hierarchy},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {87--102},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90020-X},
doi = {10.1016/0304-3975(87)90020-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bajaj87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BertolazziS87,
author = {Paola Bertolazzi and
Antonio Sassano},
title = {An O(mn) Algorithm for Regular Set-Covering Problems},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {237--247},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90131-9},
doi = {10.1016/0304-3975(87)90131-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BertolazziS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrandstadtK87,
author = {Andreas Brandst{\"{a}}dt and
Dieter Kratsch},
title = {On Domination Problems for Permutation and Other Graphs},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {181--198},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90128-9},
doi = {10.1016/0304-3975(87)90128-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrandstadtK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Cockett87,
author = {J. Robin B. Cockett},
title = {Discrete Decision Theory: Manipulations},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {215--236},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90130-7},
doi = {10.1016/0304-3975(87)90130-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Cockett87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fauconnier87,
author = {Hugues Fauconnier},
title = {Semantique Asynchrone et Comportements Infinis en {CSP}},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {277--298},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90134-4},
doi = {10.1016/0304-3975(87)90134-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fauconnier87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GinsburgT87,
author = {Seymour Ginsburg and
Chang{-}jie Tang},
title = {Canonical Forms for Interval Functions},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {299--313},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90135-6},
doi = {10.1016/0304-3975(87)90135-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GinsburgT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HsiangS87,
author = {Jieh Hsiang and
Mandayam K. Srivas},
title = {Automatic Inductive Theorem Proving Using Prolog},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {3--28},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90016-8},
doi = {10.1016/0304-3975(87)90016-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HsiangS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IwataK87,
author = {Shigeki Iwata and
Takumi Kasai},
title = {Simultaneous (Poly-Time, Log-Space) Lower Bounds},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {325--329},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90137-X},
doi = {10.1016/0304-3975(87)90137-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IwataK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JensenL87,
author = {Finn Verner Jensen and
Kim Guldstrand Larsen},
title = {Recursively Defined Doains and their Induction Principles},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {29--51},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90017-X},
doi = {10.1016/0304-3975(87)90017-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JensenL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ko87a,
author = {Ker{-}I Ko},
title = {Corrigenda: On the Continued Fraction Representation of Computable
Real Numbers},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {341--343},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90139-3},
doi = {10.1016/0304-3975(87)90139-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ko87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LakshmananM87,
author = {V. S. Lakshmanan and
C. E. Veni Madhavan},
title = {An Algebraic Theory of Functional and Multivalued Dependencies in
Relational Databases},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {103--128},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90021-1},
doi = {10.1016/0304-3975(87)90021-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LakshmananM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiskiewiczLP87,
author = {Maciej Liskiewicz and
Krzysztof Lorys and
Marek Piotr{\'{o}}w},
title = {On Reversal Bounded Alternating Turing Machines},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {331--339},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90138-1},
doi = {10.1016/0304-3975(87)90138-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiskiewiczLP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Marchetti-Spaccamela87,
author = {Alberto Marchetti{-}Spaccamela},
title = {New Protocols for the Election of a Leader in a Ring},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {53--64},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90018-1},
doi = {10.1016/0304-3975(87)90018-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Marchetti-Spaccamela87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MullerS87,
author = {David E. Muller and
Paul E. Schupp},
title = {Alternating Automata on Infinite Trees},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {267--276},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90133-2},
doi = {10.1016/0304-3975(87)90133-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MullerS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pan87,
author = {Victor Y. Pan},
title = {Complexity of Parallel Matrix Computations},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {65--85},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90019-3},
doi = {10.1016/0304-3975(87)90019-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PrieseRW87,
author = {Lutz Priese and
Ralf Rehrmann and
Uwe Willecke{-}Klemme},
title = {An Introduction to the Regular Theory of Fairness},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {139--163},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90126-5},
doi = {10.1016/0304-3975(87)90126-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PrieseRW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rindone87,
author = {Giuseppina Rindone},
title = {Construction d'une Famille de Codes Associes a Certains Groupes Finis},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {165--179},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90127-7},
doi = {10.1016/0304-3975(87)90127-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rindone87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SadoI87,
author = {Kazuhiro Sado and
Yoshihide Igarashi},
title = {A Function for Evaluating the Computing Time of a Bubbling System},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {315--324},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90136-8},
doi = {10.1016/0304-3975(87)90136-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SadoI87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Szalas87,
author = {Andrzej Szalas},
title = {A Complete Axiomatic Characterization of First-Order Temporal Logic
of Linear Time},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {199--214},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90129-0},
doi = {10.1016/0304-3975(87)90129-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Szalas87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Venkatesan87,
author = {Shankar M. Venkatesan},
title = {Approximation Algorithms for Weighted Matching},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {129--137},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90022-3},
doi = {10.1016/0304-3975(87)90022-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Venkatesan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Watanabe87,
author = {Osamu Watanabe},
title = {A Comparison of Polynomial Time Completeness Notions},
journal = {Theor. Comput. Sci.},
volume = {54},
pages = {249--265},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90132-0},
doi = {10.1016/0304-3975(87)90132-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Watanabe87.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-07-29 00:12 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:
