scientific article; zbMATH DE number 1222929

zbMath0957.03027MaRDI QIDQ4218530

M. A. Reynolds

Publication date: 11 November 1998

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

zbMATH Keywords

combinations of temporal logics

Mathematics Subject Classification ID

Temporal logic (03B44)

This page was built for publication: