default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs224.bht:"
download as .bib file
@article{DBLP:journals/tcs/Baaz99,
author = {Matthias Baaz},
title = {Note on the Generalization of Calculations},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {3--11},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00304-1},
doi = {10.1016/S0304-3975(98)00304-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Baaz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Beklemishev99,
author = {Lev D. Beklemishev},
title = {Parameter Free Induction and Provably Total Computable Functions},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {13--33},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00305-3},
doi = {10.1016/S0304-3975(98)00305-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Beklemishev99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Courcelle99,
author = {Bruno Courcelle},
title = {The Monadic Second-Order Logic of Graphs {XI:} Hierarchical Decompositions
of Connected Graphs},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {35--58},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00306-5},
doi = {10.1016/S0304-3975(98)00306-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Courcelle99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DiekertMM99,
author = {Volker Diekert and
Yuri V. Matiyasevich and
Anca Muscholl},
title = {Solving Word Equations modulo Partial Commutations},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {215--235},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00313-2},
doi = {10.1016/S0304-3975(98)00313-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DiekertMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ershov99,
author = {Yuri Leonidovich Ershov},
title = {On d-Spaces},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {59--72},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00307-7},
doi = {10.1016/S0304-3975(98)00307-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ershov99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GradelO99,
author = {Erich Gr{\"{a}}del and
Martin Otto},
title = {On Logics with Two Variables},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {73--113},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00308-9},
doi = {10.1016/S0304-3975(98)00308-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GradelO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Groote99,
author = {Philippe de Groote},
title = {An Algebraic Correctness Criterion for Intuitionistic Multiplicative
Proof-Nets},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {115--134},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00309-0},
doi = {10.1016/S0304-3975(98)00309-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Groote99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Heinemann99,
author = {Bernhard Heinemann},
title = {Temporal Aspects of the Modal Logic of Subset Spaces},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {135--155},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00310-7},
doi = {10.1016/S0304-3975(98)00310-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Heinemann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LisitsaS99,
author = {Alexei Lisitsa and
Vladimir Yu. Sazonov},
title = {Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {173--213},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00312-0},
doi = {10.1016/S0304-3975(98)00312-0},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LisitsaS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Marion99,
author = {Jean{-}Yves Marion},
title = {From Multiple Sequent for Additive Linear Logic to Decision Procedures
for Free Lattices},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {157--172},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00311-9},
doi = {10.1016/S0304-3975(98)00311-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Marion99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Otto99,
author = {Martin Otto},
title = {Bisimulation-invariant {PTIME} and higher-dimensional {\(\mathrm{\mu}\)}-calculus},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {237--265},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00314-4},
doi = {10.1016/S0304-3975(98)00314-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Otto99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Perrier99,
author = {Guy Perrier},
title = {A PSPACE-complete Fragment of Second-order Linear Logic},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {267--289},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00315-6},
doi = {10.1016/S0304-3975(98)00315-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Perrier99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tseytin99,
author = {Gregory S. Tseytin},
title = {A Formalization of Reasoning not Derived from Standard Predicate Logic},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {291--317},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00316-8},
doi = {10.1016/S0304-3975(98)00316-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tseytin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Voronkov99,
author = {Andrei Voronkov},
title = {Simultaneous Rigid E-unification and other Decision Problems Related
to the Herbrand Theorem},
journal = {Theor. Comput. Sci.},
volume = {224},
number = {1-2},
pages = {319--352},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00317-X},
doi = {10.1016/S0304-3975(98)00317-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Voronkov99.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-11-14 17:55 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:
