scientific article; zbMATH DE number 897162

zbMath0864.68060MaRDI QIDQ4884581

Andrzej Biela

Publication date: 7 July 1996

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

zbMATH Keywords

algorithmic logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Information storage and retrieval of data (68P20)

This page was built for publication: