scientific article

zbMATH Open0605.03011MaRDI QIDQ3743306

R. Knast

Publication date: 1985

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

zbMATH Keywords

fragment of nonlocal process logicprogram-free nonlocal process logic with concatenationpropositional calculi of term satisfiabilitypropositional process logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (5)

Robert Knast (1940-1994) ⋮ Title not available (Why is that?) ⋮ Process-Algebraic Interpretations of Positive Linear and Relevant Logics ⋮ Title not available (Why is that?) ⋮ Towards logical operations research -- propositional case

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