scientific article

zbMath0991.68091MaRDI QIDQ2769732

Lambèr M. M. Royakkers

Publication date: 5 February 2002

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

zbMATH Keywords

dynamic logicaction logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (2)

Unnamed Item ⋮ Artinian bimodule with quasi-Frobenius bimodule of translations

This page was built for publication: