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/tcs31.bht:"
download as .bib file
@article{DBLP:journals/tcs/Alaiwan84,
author = {H. Alaiwan},
title = {Equivalence of Infinite Behavior of Finite Automata},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {297--306},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90037-9},
doi = {10.1016/0304-3975(84)90037-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Alaiwan84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AutebertBBS84,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier and
Luc Boasson and
G{\'{e}}raud S{\'{e}}nizergues},
title = {Remarques sur les Langages de Parenth{\`{e}}ses},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {337--349},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90040-9},
doi = {10.1016/0304-3975(84)90040-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AutebertBBS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruceL84,
author = {Kim B. Bruce and
Giuseppe Longo},
title = {On Combinatory Algebras and their Expansions},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {31--40},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90123-3},
doi = {10.1016/0304-3975(84)90123-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BruceL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrenfeuchtMR84,
author = {Andrzej Ehrenfeucht and
Michael G. Main and
Grzegorz Rozenberg},
title = {Restrictions on {NLC} Graph Grammars},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {211--223},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90135-X},
doi = {10.1016/0304-3975(84)90135-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrenfeuchtMR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Escrig84,
author = {David de Frutos{-}Escrig},
title = {A Characterization of Plotkin's Order in Powerdomains, and Some of
its Properties},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {73--82},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90127-0},
doi = {10.1016/0304-3975(84)90127-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Escrig84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoguenB84,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation.
Part 1: Comma Categories, Colimits, Signatures and Theories},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {175--209},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90134-8},
doi = {10.1016/0304-3975(84)90134-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoguenB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoguenB84a,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation.
Part {II:} Signed and Abstract Theories},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {263--295},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90036-7},
doi = {10.1016/0304-3975(84)90036-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoguenB84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Head84,
author = {Tom Head},
title = {Adherences of {D0L} Languages},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {139--149},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90131-2},
doi = {10.1016/0304-3975(84)90131-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Head84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Honkala84,
author = {Juha Honkala},
title = {Bases and Ambiguity of Number Systems},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {61--71},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90126-9},
doi = {10.1016/0304-3975(84)90126-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Honkala84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ko84,
author = {Ker{-}I Ko},
title = {Reducibilities on Real Numbers},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {101--123},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90129-4},
doi = {10.1016/0304-3975(84)90129-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ko84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MahrM84,
author = {Bernd Mahr and
Johann A. Makowsky},
title = {Characterizing Specification Languages which Admit Initial Semantics},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {49--59},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90125-7},
doi = {10.1016/0304-3975(84)90125-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MahrM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mezghiche84,
author = {Mohamed Mezghiche},
title = {Une Nouvelle {C} beta-R{\'{e}}duction dans la Logique Combinatoire},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {151--163},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90132-4},
doi = {10.1016/0304-3975(84)90132-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mezghiche84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NarendranM84,
author = {Paliath Narendran and
Robert McNaughton},
title = {The Undecidability of the Preperfectness of Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {165--174},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90133-6},
doi = {10.1016/0304-3975(84)90133-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NarendranM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Oyamaguchi84,
author = {Michio Oyamaguchi},
title = {Some Results on Subclass Containment Problems for Special Classes
of DPDA's Related to Nonsingular Machines},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {317--335},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90039-2},
doi = {10.1016/0304-3975(84)90039-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Oyamaguchi84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Plaisted84,
author = {David A. Plaisted},
title = {New NP-Hard and NP-Complete Polynomial and Integer Divisibility Problems},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {125--138},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90130-0},
doi = {10.1016/0304-3975(84)90130-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Plaisted84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schoning84,
author = {Uwe Sch{\"{o}}ning},
title = {Minimal pairs for {P}},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {41--48},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90124-5},
doi = {10.1016/0304-3975(84)90124-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Schoning84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Simone84a,
author = {Robert de Simone},
title = {Langages Infinitaires et Produit de Mixage},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {83--100},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90128-2},
doi = {10.1016/0304-3975(84)90128-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Simone84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Soundararajan84,
author = {Neelam Soundararajan},
title = {A proof technique for parallel programs},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {13--29},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90122-1},
doi = {10.1016/0304-3975(84)90122-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Soundararajan84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Uchimura84,
author = {Keisuke Uchimura},
title = {Truncations of Infinite Matrices and Algebraic Series Associated with
Some {CF} Grammars},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {227--261},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90035-5},
doi = {10.1016/0304-3975(84)90035-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Uchimura84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Yamasaki84,
author = {Hideki Yamasaki},
title = {Normal Petri Nets},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {307--315},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90038-0},
doi = {10.1016/0304-3975(84)90038-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Yamasaki84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YamasakiT84,
author = {Hideki Yamasaki and
Masako Takahashi},
title = {Generalized Parenthesis Languages and Minimization of their Parenthesis
Parts},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {1--11},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90121-X},
doi = {10.1016/0304-3975(84)90121-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/YamasakiT84.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-03 07:28 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:
