scientific article

zbMath0972.68144MaRDI QIDQ2702604

Frieder Stolzenburg, Bernd Thomas

Publication date: 12 March 2001

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

zbMATH Keywords

theorem provinglogic programmingconstraint solving

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17)

Related Items (1)

Specifying and Verifying Organizational Security Properties in First-Order Logic

Uses Software

• PROTEIN

This page was built for publication: