scientific article; zbMATH DE number 879004

zbMath0847.68019MaRDI QIDQ4878773

Saumya Debray

Publication date: 14 May 1996

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

zbMATH Keywords

compile-time dataflow analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Correct Answers for First Order Logic

Uses Software

• SICStus

This page was built for publication: