Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jcss/ArbibM80,
  author       = {Michael A. Arbib and
                  Ernest G. Manes},
  title        = {Foundations of System Theory: The Hankel Matrix},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {3},
  pages        = {330--378},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90012-4},
  doi          = {10.1016/0022-0000(80)90012-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/ArbibM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/BoassonN80,
  author       = {Luc Boasson and
                  Maurice Nivat},
  title        = {Adherences of Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {3},
  pages        = {285--309},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90010-0},
  doi          = {10.1016/0022-0000(80)90010-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BoassonN80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/BrzozowskiF80,
  author       = {Janusz A. Brzozowski and
                  Faith E. Fich},
  title        = {Languages of R-Trivial Monoids},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {1},
  pages        = {32--49},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90003-3},
  doi          = {10.1016/0022-0000(80)90003-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BrzozowskiF80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/CulikS80,
  author       = {Karel Cul{\'{\i}}k II and
                  Arto Salomaa},
  title        = {Test Sets and Checking Words for Homomorphism Equivalence},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {3},
  pages        = {379--395},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90013-6},
  doi          = {10.1016/0022-0000(80)90013-6},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/CulikS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/DietzK80,
  author       = {Paul F. Dietz and
                  S. Rao Kosaraju},
  title        = {Recognition of Topological Equivalence of Patterns by Array Automata},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {1},
  pages        = {111--116},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90008-2},
  doi          = {10.1016/0022-0000(80)90008-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/DietzK80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/EngelfrietRS80,
  author       = {Joost Engelfriet and
                  Grzegorz Rozenberg and
                  Giora Slutzki},
  title        = {Tree Transducers, {L} Systems, and Two-Way Machines},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {2},
  pages        = {150--202},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90058-6},
  doi          = {10.1016/0022-0000(80)90058-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/EngelfrietRS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Filotti80,
  author       = {I. S. Filotti},
  title        = {An Algorithm for Imbedding Cubic Graphs in the Torus},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {2},
  pages        = {255--276},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90062-8},
  doi          = {10.1016/0022-0000(80)90062-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Filotti80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/GallantMS80,
  author       = {John Gallant and
                  David Maier and
                  James A. Storer},
  title        = {On Finding Minimal Length Superstrings},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {1},
  pages        = {50--58},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90004-5},
  doi          = {10.1016/0022-0000(80)90004-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/GallantMS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/GinzburgY80,
  author       = {Abraham Ginzburg and
                  Michael Yoeli},
  title        = {Vector Addition Systems and Regular Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {3},
  pages        = {277--284},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90009-4},
  doi          = {10.1016/0022-0000(80)90009-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/GinzburgY80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/GonzalezJ80,
  author       = {Teofilo F. Gonzalez and
                  Joseph F. J{\'{a}}J{\'{a}}},
  title        = {On the Complexity of Computing Bilinear Forms with \{0, 1\} Constants},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {1},
  pages        = {77--95},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90006-9},
  doi          = {10.1016/0022-0000(80)90006-9},
  timestamp    = {Fri, 02 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/GonzalezJ80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Hennessy80,
  author       = {Matthew Hennessy},
  title        = {A Proof System for the First-Order Relational Calculus},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {1},
  pages        = {96--110},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90007-0},
  doi          = {10.1016/0022-0000(80)90007-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Hennessy80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/KasaiA80,
  author       = {Takumi Kasai and
                  Akeo Adachi},
  title        = {A Characterization of Time Complexity by Simple Loop Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {1},
  pages        = {1--17},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90001-X},
  doi          = {10.1016/0022-0000(80)90001-X},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/KasaiA80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/LapaughR80,
  author       = {Andrea S. LaPaugh and
                  Ronald L. Rivest},
  title        = {The Subgraph Homeomorphism Problem},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {2},
  pages        = {133--149},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90057-4},
  doi          = {10.1016/0022-0000(80)90057-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/LapaughR80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/LewisY80,
  author       = {John M. Lewis and
                  Mihalis Yannakakis},
  title        = {The Node-Deletion Problem for Hereditary Properties is NP-Complete},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {2},
  pages        = {219--230},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90060-4},
  doi          = {10.1016/0022-0000(80)90060-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/LewisY80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/MasekP80,
  author       = {William J. Masek and
                  Mike Paterson},
  title        = {A Faster Algorithm Computing String Edit Distances},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {1},
  pages        = {18--31},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90002-1},
  doi          = {10.1016/0022-0000(80)90002-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/MasekP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/MillerY80,
  author       = {Raymond E. Miller and
                  Chee{-}Keng Yap},
  title        = {On Formulating Simultaneity for Studying Parallelism and Synchronization},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {2},
  pages        = {203--218},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90059-8},
  doi          = {10.1016/0022-0000(80)90059-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/MillerY80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Miyano80,
  author       = {Satoru Miyano},
  title        = {One-Way Weak-Stack-Counter Automata},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {1},
  pages        = {59--76},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90005-7},
  doi          = {10.1016/0022-0000(80)90005-7},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Miyano80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Paredaens80,
  author       = {Jan Paredaens},
  title        = {The Interaction of Integrity Constraints in an Information System},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {3},
  pages        = {310--329},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90011-2},
  doi          = {10.1016/0022-0000(80)90011-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Paredaens80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Pratt80,
  author       = {Vaughan R. Pratt},
  title        = {A Near-Optimal Method for Reasoning about Action},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {2},
  pages        = {231--254},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90061-6},
  doi          = {10.1016/0022-0000(80)90061-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Pratt80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/RivestMKWS80,
  author       = {Ronald L. Rivest and
                  Albert R. Meyer and
                  Daniel J. Kleitman and
                  Karl Winklmann and
                  Joel Spencer},
  title        = {Coping with Errors in Binary Search Procedures},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {3},
  pages        = {396--404},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90014-8},
  doi          = {10.1016/0022-0000(80)90014-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/RivestMKWS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Tompa80,
  author       = {Martin Tompa},
  title        = {Time-Space Tradeoffs for Computing Functions, Using Connectivity Properties
                  of Their Circuits},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {2},
  pages        = {118--132},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90056-2},
  doi          = {10.1016/0022-0000(80)90056-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Tompa80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.