default search action

combined dblp search
author search
venue search
publication search

ask others

Software Science and Engineering 1991

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/wsscs/31
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/31
Ikuo Nakata, Masami Hagiya:
Software Science and Engineering: Selected Papers from the Kyoto Symposia. World Scientific Series in Computer Science 31, World Scientific 1991, ISBN 978-981-02-0776-2
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/OhsugaS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/OhsugaS91
Akihiko Ohsuga, Kô Sakai:
Metis: A Term Rewriting System Generator: An Inference Engine for Equations and Inequations. 1-15
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/Nishida91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/Nishida91
Taishin Y. Nishida:
A Regulated Accumulating Array Grammar and Its Application on a Process Assignment Problem for a Parallel Computing. 16-38
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/HigashinoTKFM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/HigashinoTKFM91
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori:
An Algebraic Method For Verifying Progress Property of Communication Protocols. 39-59
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/SekiTK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/SekiTK91
Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami:
On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/. 60-77
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/Yamasaki91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/Yamasaki91
Susumu Yamasaki:
Dataflow Computing Mechanism For Logic Program and Extraction of Functional from It. 78-97
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/UenoK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/UenoK91
Machi Ueno, Tadashi Kanamori:
Top-down Zooming Diagnosis of Logic Programs. 98-129
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/NumaokaNT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/NumaokaNT91
Chisato Numaoka, Tadashi Nagano, Mario Tokoro:
Object-Oriented Approach to Discourse Understanding. 130-144
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/YamashitaN91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/YamashitaN91
Yoshiyuki Yamashita, Ikuo Nakata:
Negation Technique for Context-Free Grammars. 145-163
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/SawamuraMYO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/SawamuraMYO91
Hajime Sawamura, Toshiro Minami, Kaoru Yokota, Kyoko Ohashi:
Potential of General-Purpose Reasoning Assistant System EUODHILOS. 164-188
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/Cheng91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/Cheng91
Jingde Cheng:
Relevance Logic and Entailment Logic. 189-211
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/IchisugiY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/IchisugiY91
Yuuji Ichisugi, Akinori Yonezawa:
Distributed Garbage Collection Using Group Reference Counting. 212-226
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/Arimura91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/Arimura91
Hiroki Arimura:
Completeness of Depth-bounded Resolution for Weakly Reducing Programs. 227-245

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.