scientific article; zbMATH DE number 897162

MaRDI QIDQ4884581zbMATH OpenFDO

Authors Andrzej Biela

Publication date 7 July 1996

zbMATH Keywords

algorithmic logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3938517
• scientific article; zbMATH DE number 992300
• scientific article; zbMATH DE number 4057487
• Mathematical logic and algorithm theory

Cited in

(2)

• Algebraic approach to algorithmic logic
• scientific article; zbMATH DE number 3227504 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4884581)