scientific article

zbMath0978.03514MaRDI QIDQ2757840

Jurate Saskalauskaite

Publication date: 4 December 2001

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

Similarity saturation for first order linear temporal logic with UNLESS

This page was built for publication: