Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNew Generation Computing, Volume 14
Volume 14, Number 1, 1996
- Takashi Chikayama, Evan Tick:
Special Issue on the Workshop on Parallel Logic Programming - Preface. 1-2 - Vítor Santos Costa
, David H. D. Warren, Rong Yang:
Andorra-I Compilation. 3-30 - Johan Montelius, Khayri A. M. Ali:
An And/Or-Parallel Implementation of AKL. 31-52 - Kish Shen, Steve Gregory:
Instant Replay Debugging of Concurrent Logic Programs. 79-107
Volume 14, Number 2, 1996
- Yuji Matsumoto:
Special Feature on Natural Language Understanding and Logic Programming. 109-110 - Takashi Miyata, Kôiti Hasida:
Plan Inferences in Dialogue under Dynamical Constraint Programming. 111-129 - Guido Minnen, Dale Gerdemann, Erhard W. Hinrichs:
Direct Automated Inversion of Logic Grammars. 131-168 - Kentaro Inui, Takenobu Tokunaga, Hozumi Tanaka:
Dependency-Directed Control of Text Generation Using Functional Unification Grammar. 169-193
- Weidong Chen, David Scott Warren:
Predicate Abstractions in Higher-Order Logic Programming. 195-236 - David A. Fuller, Sacha A. Bocic, Leopoldo E. Bertossi:
Towards Efficient Partial Evaluation in Logic Programming. 237-259
Volume 14, Number 3, 1996
- Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama:
Distributed Memory Implementation of KLIC. 261-280 - Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick:
A Common Intermediate Language and Its Use in Partitioning Concurrent Declarative Programs. 281-315 - Yi-Dong Shen:
Verifying Local Stratifiability of Logic Programs and Databases II. 317-341 - Eiichi Horita:
Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics. 343-389
Volume 14, Number 4, 1996
- Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
The Functional Logic Language BABEL and Its Implementation on a Graph Machine. 391-427 - David A. Rosenblueth:
Chart Parsers as Inference Systems for Fixed-Mode Logic Programs. 429-458 - Ting Kuo, Shu-Yuen Hwang:
Why DGAs Work Well on GA-Hard Functions? 459-479
a service of 
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-07-07 08:24 CEST 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:
