Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNew Generation Computing, Volume 15
Volume 15, Number 1, 1997
- Setsuo Arikawa, Michael M. Richter:
Special Issue on Algorithmic Learning Theory. 1-2 - Naoki Abe:
Towards Realistic Theories of Learning. 3-25 - Oksana Arnold, Klaus P. Jantke:
Inductive Program Synthesis for Theory Plan Generation. 27-58 - Christoph Globig, Klaus P. Jantke, Steffen Lange, Yasubumi Sakakibara:
On Case Based Learnability of Language. 39-83 - Akira Ishino, Akihiro Yamamoto:
Generalization in Typed Equational Programming and Their Application to Learning Functions. 85-103 - Alvis Brazma, Karlis Cerans:
Noise-Tolerant Efficient Inductive Synthesis of Regular Expressions from Good Examples. 105-140
Volume 15, Number 2, 1997
- Suzanne W. Dietrich, Changguan Fan:
On the Completeness of Naive Memoing in Prolog. 141-162 - Abdul Sattar, Randy Goebel:
Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. 163-186 - Yi-Dong Shen:
An Extended Variant of Atoms Loop Check for Positive Logic Programs. 187-204 - Alvaro A. A. Fernandes, M. Howard Williams, Norman W. Paton
:
A Logic-Based Integration of Active and Deductive Databases. 205-244
Volume 15, Number 3, 1997
- Carl Vogel, Fred Popowich:
A Parametric Definition for a Family of Inheritance Reasoners. 247-292 - M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
Proving Termination of GHC Programs. 293-338 - Liangwei Xu, Masato Takeichi, Hideya Iwasaki:
Relational Semantics for Locally Nondeterministic Programs. 339-362
Volume 15, Number 4, 1997
- Stefan Brüning:
Globally Linear Connection Method. 369-402 - Chiun-Chieh Hsu:
Mapping Two Complete Binary Trees Into the Star Graph with Quick Fault Recovery. 403-420 - Andreas Hamfelt, Jørgen Fischer Nilsson:
Towards a Logic Programming Methodology Based on Higher-Order Predicates. 421-448 - Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti:
Static Analysis of Linear Logic Programming. 449-481
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-04-19 20:13 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:
