scientific article; zbMATH DE number 1231518

zbMath0909.68036MaRDI QIDQ4222832

Susumu Hayashi, Syuichi Nakazaki, Masakazu Ishikawa, Hiroshi Nakano, Satoshi Kobayashi

Publication date: 13 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#hayashi

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

PX system

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: