default search action
New Generation Computing, Volume 2
Volume 2, Number 1, 1984
- David H. Brandin:
Number Rules the Universe - The Pythagoreans. 1-2 - Harvey Abramson:
A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions. 3-35 - Atsuhiro Goto, Hidehiko Tanaka, Tohru Moto-Oka:
Highly Parallel Inference Engine PIE: Goal Rewriting Model and Machine Architecture. 37-58 - Masami Hagiya, Takafumi Sakurai:
Foundation of Logic Programming Based on Inductive Definition. 59-77 - Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi:
Description and Reasoning of VLSI Circuit in Temporal Logic. 79-90 - Hiroshi Maruyama, Akinori Yonezawa:
A Prolog-Based Natural Language Front-End System. 91-99
Volume 2, Number 2, 1984
- Teruo Fukumura:
Towards the Integration of the Knowledge Information Processing. 103-104 - Makoto Amamiya, Ryuzo Hasegawa:
Dataflow Computing and Eager and Lazy Evaluations. 105-129 - Shigeki Shibayama, Takeo Kakuta, Nobuyoshi Miyazaki, Haruo Yokota
, Kunio Murakami:
A Relational Database Machine with Large Semiconductor Disk and Hardware Relational Algebra Processor. 131-155 - Anthony J. Kusalik:
Bounded-Wait Merge in Shapiro's Concurrent Prolog. 157-169 - Setsuo Arikawa, Takeshi Shinohara:
A Run-Time Efficient Realization of Aho-Corasick Pattern Matching Machines. 171-186 - Eugénio C. Oliveira
Developing Expert Systems Builders in Logic Programming. 187-194 - Akihiko Konagaya, Mamoru Umemura:
Knowledge Information Processing Language: ShapeUp. 195-201
Volume 2, Number 3, 1984
- Iwao Toda:
Communication and Knowledge Engineering. 205-206 - Joxan Jaffar:
Efficient Unification over Infinite Terms. 207-219 - Ehud Shapiro, Colin Mierowsky:
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. 221-240 - Yuzuru Tanaka:
A Multiport Page-Memory Architecture and A Multiport Disk-Cache System. 242-260 - Tetsuo Ida, Jiro Tanaka:
Functional Programming with Streams, Part II. 262-275 - Hiroshi Yasuhara, Kazuhiko Nitadori:
ORBIT: A Parallel Computing Model of Prolog. 277-288 - Anthony J. Kusalik:
Serialization of Process Reduction in Concurrent Prolog. 289-298
Volume 2, Number 4, 1984
- Doug DeGroot:
Poking the Giant's Eye Out. 303-304 - Ehud Shapiro:
Guest Editor's Preface. 305-308 - David A. Plaisted:
The Occur-Check Problem in Prolog. 309-322 - Evan Tick, David H. D. Warren:
Towards a Pipelined Prolog Processor. 323-345 - Mats Carlsson:
On Implementing Prolog in Functional Programming. 347-359 - David Scott Warren:
Efficient Prolog Memory Management for Flexible Control Strategies. 361-369 - Mark E. Stickel:
A Prolog Technology Theorem Prover. 371-383 - Taizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota
A Knowledge Assimilation Method for Logic Databases. 385-404
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.
last updated on 2024-12-19 22:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: