scientific article

zbMATH Open0768.68001MaRDI QIDQ3998237

Bernhard Heinemann, Klaus Weihrauch

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

predicate calculuslogic programmingmodal and temporary logics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Logic programming (68N17)

Related Items (4)

Logics for Computer Science ⋮ Fundamentals of logic and computation. With practical automated reasoning and verification ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

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 Q3998237)