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/jcss/jcss19.bht:"
download as .bib file
@article{DBLP:journals/jcss/AdamekK79,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
V{\'{a}}clav Koubek},
title = {Least Fixed Point of a Functor},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {2},
pages = {163--178},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90026-6},
doi = {10.1016/0022-0000(79)90026-6},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AdamekK79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Benson79,
author = {David B. Benson},
title = {Parameter Passing in Nondeterministic Recursive Programs},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {1},
pages = {50--62},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90013-8},
doi = {10.1016/0022-0000(79)90013-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Benson79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BlattnerH79,
author = {Meera Blattner and
Tom Head},
title = {The Decidability of Equivalence for Deterministic Finite Transducers},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {1},
pages = {45--49},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90012-6},
doi = {10.1016/0022-0000(79)90012-6},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BlattnerH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BookGW79,
author = {Ronald V. Book and
Sheila A. Greibach and
Celia Wrathall},
title = {Reset Machines},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {3},
pages = {256--276},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90004-7},
doi = {10.1016/0022-0000(79)90004-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BookGW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EhrenfeuchtRV79,
author = {Andrzej Ehrenfeucht and
Grzegorz Rozenberg and
Dirk Vermeir},
title = {On {ET0L} Systems with Rank},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {3},
pages = {237--255},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90003-5},
doi = {10.1016/0022-0000(79)90003-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/EhrenfeuchtRV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FrancezHLR79,
author = {Nissim Francez and
C. A. R. Hoare and
Daniel J. Lehmann and
Willem P. de Roever},
title = {Semantics of Nondeterminism, Concurrency, and Communication},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {3},
pages = {290--308},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90006-0},
doi = {10.1016/0022-0000(79)90006-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FrancezHLR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FriedmanG79a,
author = {Emily P. Friedman and
Sheila A. Greibach},
title = {Superdeterministic {DPDAS:} The Method for Accepting Does Affect Decision
Problems},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {1},
pages = {79--117},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90015-1},
doi = {10.1016/0022-0000(79)90015-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FriedmanG79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GermanoM79,
author = {Giorgio Germano and
Andrea Maggiolo{-}Schettini},
title = {Computable Stack Functions for Semantics of Stack Programs},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {2},
pages = {133--144},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90024-2},
doi = {10.1016/0022-0000(79)90024-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GermanoM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GurariI79a,
author = {Eitan M. Gurari and
Oscar H. Ibarra},
title = {Simple Counter Machines and Number-Theoretic Problems},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {2},
pages = {145--162},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90025-4},
doi = {10.1016/0022-0000(79)90025-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GurariI79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Harju79,
author = {Tero Harju},
title = {A Simulation Result for the Auxiliary Pushdown Automata},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {2},
pages = {119--132},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90023-0},
doi = {10.1016/0022-0000(79)90023-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Harju79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarrisonY79,
author = {Michael A. Harrison and
Amiram Yehudai},
title = {A Hierarchy of Deterministic Languages},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {1},
pages = {63--78},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90014-X},
doi = {10.1016/0022-0000(79)90014-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarrisonY79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Head79,
author = {Tom Head},
title = {Codeterministic Lindenmayer Schemes and Systems},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {2},
pages = {203--210},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90029-1},
doi = {10.1016/0022-0000(79)90029-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Head79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Hunt79,
author = {Harry B. Hunt III},
title = {Observations on the Complexity of Regular Expression Problems},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {3},
pages = {222--236},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90002-3},
doi = {10.1016/0022-0000(79)90002-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Hunt79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KanetkarW79,
author = {Sharad V. Kanetkar and
Meghanad D. Wagh},
title = {Group Character Tables in Discrete Transform Theory},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {3},
pages = {211--221},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90001-1},
doi = {10.1016/0022-0000(79)90001-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KanetkarW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MaxsonS79,
author = {Carlton J. Maxson and
Kirby C. Smith},
title = {Automorphisms of Linear Automata},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {1},
pages = {18--26},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90010-2},
doi = {10.1016/0022-0000(79)90010-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MaxsonS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Naude79,
author = {G. Naud{\'{e}}},
title = {Universal Realization},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {3},
pages = {277--289},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90005-9},
doi = {10.1016/0022-0000(79)90005-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Naude79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Nozaki79a,
author = {Akihiro Nozaki},
title = {Sorting Using Networks of Deques},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {3},
pages = {309--315},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90007-2},
doi = {10.1016/0022-0000(79)90007-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Nozaki79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PairAN79,
author = {Claude Pair and
M. Amirchahy and
D. Neel},
title = {Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {1},
pages = {1--17},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90009-6},
doi = {10.1016/0022-0000(79)90009-6},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/PairAN79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Paul79,
author = {Wolfgang J. Paul},
title = {On Time Hierarchies},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {2},
pages = {197--202},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90028-X},
doi = {10.1016/0022-0000(79)90028-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Paul79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/RozenbergV79,
author = {Grzegorz Rozenberg and
Dirk Vermeir},
title = {On Recursion in {ET0L} Systems},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {2},
pages = {179--196},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90027-8},
doi = {10.1016/0022-0000(79)90027-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/RozenbergV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Wand79,
author = {Mitchell Wand},
title = {Final Algebra Semantics and Data Type Extensions},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {1},
pages = {27--44},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90011-4},
doi = {10.1016/0022-0000(79)90011-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Wand79.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-25 13:24 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:
