Search dblp for Publications

export results for "toc:db/journals/jcss/jcss3.bht:"

 download as .bib file

@article{DBLP:journals/jcss/AhoU69,
  author       = {Alfred V. Aho and
                  Jeffrey D. Ullman},
  title        = {Syntax Directed Translations and the Pushdown Assembler},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {37--56},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80006-1},
  doi          = {10.1016/S0022-0000(69)80006-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/AhoU69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AhoU69a,
  author       = {Alfred V. Aho and
                  Jeffrey D. Ullman},
  title        = {Properties of Syntax Directed Translations},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {3},
  pages        = {319--334},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80018-8},
  doi          = {10.1016/S0022-0000(69)80018-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/AhoU69a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BaerS69,
  author       = {Robert M. Baer and
                  Edwin H. Spanier},
  title        = {Referenced Automata and Metaregular Families},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {423--446},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80030-9},
  doi          = {10.1016/S0022-0000(69)80030-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BaerS69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Blum69,
  author       = {Edward K. Blum},
  title        = {Towards a Theory of Semantics and Compilers for Programming Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {3},
  pages        = {248--275},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80016-4},
  doi          = {10.1016/S0022-0000(69)80016-4},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/Blum69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Breuer69,
  author       = {Melvin A. Breuer},
  title        = {Combinatorial Equivalence of (0, 1) Circulant Matrices},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {8--23},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80004-8},
  doi          = {10.1016/S0022-0000(69)80004-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Breuer69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Butz69,
  author       = {Arthur R. Butz},
  title        = {Convergence with Hilbert's Space Filling Curve},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {128--146},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80010-3},
  doi          = {10.1016/S0022-0000(69)80010-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Butz69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Cleave69,
  author       = {John P. Cleave},
  title        = {The Primitive Recursive Analysis of Ordinary Differential Equations
                  and the Complexity of Their Solutions},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {447--455},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80031-0},
  doi          = {10.1016/S0022-0000(69)80031-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Cleave69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DennisG69,
  author       = {J. E. Dennis and
                  Allen A. Goldstein},
  title        = {Cubature and Tchakaloff Cone},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {218--220},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80013-9},
  doi          = {10.1016/S0022-0000(69)80013-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/DennisG69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Deuel69,
  author       = {D. R. Deuel},
  title        = {Time-Varying Linear Sequential Machines {I}},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {93--118},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80008-5},
  doi          = {10.1016/S0022-0000(69)80008-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Deuel69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Greibach69,
  author       = {Sheila A. Greibach},
  title        = {Checking Automata and One-Way Stack Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {196--217},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80012-7},
  doi          = {10.1016/S0022-0000(69)80012-7},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Greibach69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GreibachH69,
  author       = {Sheila A. Greibach and
                  John E. Hopcroft},
  title        = {Scattered Context Grammars},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {3},
  pages        = {233--247},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80015-2},
  doi          = {10.1016/S0022-0000(69)80015-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/GreibachH69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GrigoriadisR69,
  author       = {Michael D. Grigoriadis and
                  Klaus Ritter},
  title        = {A Decomposition Method for Structured Linear and Nonlinear Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {335--360},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80026-7},
  doi          = {10.1016/S0022-0000(69)80026-7},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/GrigoriadisR69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Ito69,
  author       = {Ryuichi Ito},
  title        = {Every Semilinear Set is a Finite Union of Disjoint Linear Sets},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {221--231},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80014-0},
  doi          = {10.1016/S0022-0000(69)80014-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Ito69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Kaplan69,
  author       = {Donald M. Kaplan},
  title        = {Regular Expressions and the Equivalence of Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {361--386},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80027-9},
  doi          = {10.1016/S0022-0000(69)80027-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Kaplan69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KarpM69,
  author       = {Richard M. Karp and
                  Raymond E. Miller},
  title        = {Parallel Program Schemata},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {147--195},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80011-5},
  doi          = {10.1016/S0022-0000(69)80011-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/KarpM69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Mager69,
  author       = {George Mager},
  title        = {Writing Pushdown Acceptors},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {3},
  pages        = {276--318},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80017-6},
  doi          = {10.1016/S0022-0000(69)80017-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Mager69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Manna69,
  author       = {Zohar Manna},
  title        = {The Correctness of Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {119--127},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80009-7},
  doi          = {10.1016/S0022-0000(69)80009-7},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Manna69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MizumotoTT69,
  author       = {Masaharu Mizumoto and
                  Jun'ichi Toyoda and
                  Kokichi Tanaka},
  title        = {Some Considerations on Fuzzy Automata},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {409--422},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80029-2},
  doi          = {10.1016/S0022-0000(69)80029-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/MizumotoTT69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Morris69,
  author       = {Alfred H. Morris Jr.},
  title        = {Elementary Indefinite Integration Theory for the Computer},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {387--408},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80028-0},
  doi          = {10.1016/S0022-0000(69)80028-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Morris69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Neustadt69,
  author       = {Lucien W. Neustadt},
  title        = {A General Theory of Extremals},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {57--92},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80007-3},
  doi          = {10.1016/S0022-0000(69)80007-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Neustadt69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Pasquali69,
  author       = {A. Pasquali},
  title        = {On the Convergence of Nonlinear Simulaneous Displacements},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {1--7},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80003-6},
  doi          = {10.1016/S0022-0000(69)80003-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Pasquali69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Wegbreit69,
  author       = {Ben Wegbreit},
  title        = {A Generator of Contex-Sensitive Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {456--461},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80032-2},
  doi          = {10.1016/S0022-0000(69)80032-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Wegbreit69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Yavin69,
  author       = {Y. Yavin},
  title        = {Optimal Control for a Class of Distributed Parameter Systems Where
                  the Cost Functions are Norms},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {24--36},
  year         = {1969},
  url          = {https://doi.org/10.1016/S0022-0000(69)80005-X},
  doi          = {10.1016/S0022-0000(69)80005-X},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Yavin69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics