ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Bulletin of Informatics and Cybernetics
container_2uekm3xedrg6xmc3wcam5dgixa
Kyushu University
Homepage URLs
https://hdl.handle.net/2324/12573 |
Example Publications
Stable Model Semantics of Circumscription
Koichi Hirata
1992
|
Bulletin of Informatics and Cybernetics
doi:10.5109/3163
NP-complete Problems on Label Updating Calculation in ATMS
Shinji Furuya, Satoru Miyano
1991
|
Bulletin of Informatics and Cybernetics
doi:10.5109/3146
Depth-Bounded Inference for Nonterminating Prologs
Hiroki Arimura
1990
|
Bulletin of Informatics and Cybernetics
doi:10.5109/3139
Completeness of Dynamic Time-Bounded Derivation for Locally Weak Reducing Programs
Yi-Hua Shi, Setsuo Arikawa
1990
|
Bulletin of Informatics and Cybernetics
doi:10.5109/3138