scientific article
From MaRDI portal
Publication:3830552
zbMath0675.68054MaRDI QIDQ3830552
Akira Okumura, Koichi Furukawa, Masaki Murakami
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Specialisation of Prolog and FCP programs using abstract interpretation ⋮ Comparative semantics for flow of control in logic programming without logic
This page was built for publication:
