Search dblp for Publications

export results for "toc:db/series/wsscs/wsscs31.bht:"

 download as .bib file

@incollection{DBLP:series/wsscs/Arimura91,
  author       = {Hiroki Arimura},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Completeness of Depth-bounded Resolution for Weakly Reducing Programs},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {227--245},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0012},
  doi          = {10.1142/9789814360128\_0012},
  timestamp    = {Tue, 23 Jun 2020 13:49:03 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/Arimura91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/Cheng91,
  author       = {Jingde Cheng},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Relevance Logic and Entailment Logic},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {189--211},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0010},
  doi          = {10.1142/9789814360128\_0010},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/Cheng91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/HigashinoTKFM91,
  author       = {Teruo Higashino and
                  Kenichi Taniguchi and
                  Tadao Kasami and
                  Mamoru Fujii and
                  Masaaki Mori},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {An Algebraic Method For Verifying Progress Property of Communication
                  Protocols},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {39--59},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0003},
  doi          = {10.1142/9789814360128\_0003},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/HigashinoTKFM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/IchisugiY91,
  author       = {Yuuji Ichisugi and
                  Akinori Yonezawa},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Distributed Garbage Collection Using Group Reference Counting},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {212--226},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0011},
  doi          = {10.1142/9789814360128\_0011},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/IchisugiY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/Nishida91,
  author       = {Taishin Y. Nishida},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {A Regulated Accumulating Array Grammar and Its Application on a Process
                  Assignment Problem for a Parallel Computing},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {16--38},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0002},
  doi          = {10.1142/9789814360128\_0002},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/Nishida91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/NumaokaNT91,
  author       = {Chisato Numaoka and
                  Tadashi Nagano and
                  Mario Tokoro},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Object-Oriented Approach to Discourse Understanding},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {130--144},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0007},
  doi          = {10.1142/9789814360128\_0007},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/NumaokaNT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/OhsugaS91,
  author       = {Akihiko Ohsuga and
                  K{\^{o}} Sakai},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Metis: {A} Term Rewriting System Generator: An Inference Engine for
                  Equations and Inequations},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {1--15},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0001},
  doi          = {10.1142/9789814360128\_0001},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/OhsugaS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/SawamuraMYO91,
  author       = {Hajime Sawamura and
                  Toshiro Minami and
                  Kaoru Yokota and
                  Kyoko Ohashi},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Potential of General-Purpose Reasoning Assistant System {EUODHILOS}},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {164--188},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0009},
  doi          = {10.1142/9789814360128\_0009},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/SawamuraMYO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/SekiTK91,
  author       = {Hiroyuki Seki and
                  Kenichi Taniguchi and
                  Tadao Kasami},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {On Operational Semantics of Congruence Relation Defined in Algebraic
                  Language {ASL/}},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {60--77},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0004},
  doi          = {10.1142/9789814360128\_0004},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/SekiTK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/UenoK91,
  author       = {Machi Ueno and
                  Tadashi Kanamori},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Top-down Zooming Diagnosis of Logic Programs},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {98--129},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0006},
  doi          = {10.1142/9789814360128\_0006},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/UenoK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/Yamasaki91,
  author       = {Susumu Yamasaki},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Dataflow Computing Mechanism For Logic Program and Extraction of Functional
                  from It},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {78--97},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0005},
  doi          = {10.1142/9789814360128\_0005},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/Yamasaki91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/YamashitaN91,
  author       = {Yoshiyuki Yamashita and
                  Ikuo Nakata},
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Negation Technique for Context-Free Grammars},
  booktitle    = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  pages        = {145--163},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/9789814360128\_0008},
  doi          = {10.1142/9789814360128\_0008},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/YamashitaN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/wsscs/31,
  editor       = {Ikuo Nakata and
                  Masami Hagiya},
  title        = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
  series       = {World Scientific Series in Computer Science},
  volume       = {31},
  publisher    = {World Scientific},
  year         = {1991},
  url          = {https://doi.org/10.1142/1496},
  doi          = {10.1142/1496},
  isbn         = {978-981-02-0776-2},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/wsscs/31.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.