Volume 10, Issue 2 | New Generation Computing

Search all New Generation Computing articles

Volume 10, Issue 2

April 1992

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

An operational formal definition of PROLOG: a specification method and its application
Pierre Deransart
Gérard Ferrand
Regular Papers Pages: 121 - 171
π-RED^*—A graph reducer for a full-fledged γ-calculus
C. Schmittgen
H. Blödorn
W. Kluge
Regular Papers Pages: 173 - 195
A typed functional extension of logic programming
D. W. Shin
J. H. Nang
J. W. Cho
Regular Papers Pages: 197 - 221
Enhanced qualitative physical reasoning system: Qupras
Masaru Ohki
Kiyokazu Sakane
Yuichi Fujii
Regular Papers Pages: 223 - 253