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/tcs85.bht:"
download as .bib file
@article{DBLP:journals/tcs/Bethke91,
author = {Inge Bethke},
title = {Coherence Spaces are Untopological},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {2},
pages = {353--357},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90187-7},
doi = {10.1016/0304-3975(91)90187-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bethke91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CherubiniCCM91,
author = {Alessandra Cherubini and
Claudio Citrini and
Stefano Crespi{-}Reghizzi and
Dino Mandrioli},
title = {{QRT} {FIFO} Automata, Breath-First Grammars and Their Relations},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {171--203},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90053-5},
doi = {10.1016/0304-3975(91)90053-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CherubiniCCM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Cialdea91,
author = {Marta Cialdea},
title = {Resolution for Some First-Order Modal Systems},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {2},
pages = {213--229},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90181-Z},
doi = {10.1016/0304-3975(91)90181-Z},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Cialdea91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DevolderL91,
author = {Jeanne Devolder and
Igor Litovsky},
title = {Finitely Generated bi-omega-Languages},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {33--52},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90046-5},
doi = {10.1016/0304-3975(91)90046-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DevolderL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DoggazK91,
author = {Narjes Doggaz and
Claude Kirchner},
title = {Completion for Unification},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {2},
pages = {231--251},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90182-2},
doi = {10.1016/0304-3975(91)90182-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DoggazK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Goto91,
author = {Shigeki Goto},
title = {Proof Normalization with Nonstandard Objects},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {2},
pages = {333--351},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90186-6},
doi = {10.1016/0304-3975(91)90186-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Goto91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraW91,
author = {Oscar H. Ibarra and
Hui Wang},
title = {Parallel Parsing on a One-Way Linear Array of Finite-State Machines},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {53--74},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90047-6},
doi = {10.1016/0304-3975(91)90047-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kamper91,
author = {J{\"{u}}rgen K{\"{a}}mper},
title = {Nonuniform Proof Systems: {A} New Framework to Describe Nonuniform
and Probabilistic Complexity Classes},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {2},
pages = {305--331},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90185-5},
doi = {10.1016/0304-3975(91)90185-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kamper91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kutylowski91,
author = {Miroslaw Kutylowski},
title = {Multihead One-Way Finite Automata},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {135--153},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90051-3},
doi = {10.1016/0304-3975(91)90051-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kutylowski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lindell91,
author = {Steven Lindell},
title = {An Analysis of Fixed-Point Queries on Binary Trees},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {75--95},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90048-7},
doi = {10.1016/0304-3975(91)90048-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Lindell91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Michel91,
author = {Pascal Michel},
title = {An NP-Complete Language Accepted in Linear Time by a One-Tape Turing
Machine},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {205--212},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90054-6},
doi = {10.1016/0304-3975(91)90054-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Michel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rodenburg91,
author = {Pieter Hendrik Rodenburg},
title = {Algebraic Specifiability of Data Types with minimal Computable Parameters},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {97--116},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90049-8},
doi = {10.1016/0304-3975(91)90049-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rodenburg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sopena91,
author = {{\'{E}}ric Sopena},
title = {Hypermap Rewriting: {A} Combinatorial Approach},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {2},
pages = {253--281},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90183-3},
doi = {10.1016/0304-3975(91)90183-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Sopena91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Szpankowski91,
author = {Wojciech Szpankowski},
title = {A Characterization of Digital Search Trees from the Successful Search
Viewpoint},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {117--134},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90050-C},
doi = {10.1016/0304-3975(91)90050-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Szpankowski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TennentT91,
author = {Robert D. Tennent and
J. K. Tobin},
title = {Continuations in Possible-World Semantics},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {2},
pages = {283--303},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90184-4},
doi = {10.1016/0304-3975(91)90184-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TennentT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wang91,
author = {Jie Wang},
title = {On p-Creative Sets and p-Completely Creative Sets},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {1--31},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90045-4},
doi = {10.1016/0304-3975(91)90045-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wang91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wegener91,
author = {Ingo Wegener},
title = {The Complexity of the Parity Function in Unbounded Fan-In, Unbounded
Depth Circuits},
journal = {Theor. Comput. Sci.},
volume = {85},
number = {1},
pages = {155--170},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90052-4},
doi = {10.1016/0304-3975(91)90052-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wegener91.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-05-27 05:20 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:
