scientific article; zbMATH DE number 2090523

zbMath1045.68089MaRDI QIDQ4809160

Supratik Mukhopadhyay, Witold Charatonik, Andreas Podelski

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010115.htm

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

This page was built for publication: