An algebra of mixed computation

DOI10.1016/0304-3975(91)90300-QMaRDI QIDQ1179696zbMATH OpenOpenAlexFDO

Authors V. Eh. Itkin

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90300-q

zbMATH Keywords

quasi-Boolean algebramixed computationDMS algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of universal algebra in computer science (08A70)

Recommendations

• scientific article; zbMATH DE number 3986622
• scientific article; zbMATH DE number 3894984
• Algorithmic analysis of mixed computations
• scientific article; zbMATH DE number 3976300
• Identical transformations in algebras of nondeterministic algorithms. I

Cites work

• scientific article; zbMATH DE number 3562458 (Why is no real title available?)
• Mixed computation: potential applications and problems for study
• On the partial computation principle

Cited in

(7)

• scientific article; zbMATH DE number 3894984 (Why is no real title available?)
• scientific article; zbMATH DE number 4123276 (Why is no real title available?)
• From partial evaluation to mixed computation
• scientific article; zbMATH DE number 17810 (Why is no real title available?)
• Algorithmic analysis of mixed computations
• scientific article; zbMATH DE number 3986622 (Why is no real title available?)
• An algebraic approach to computations with progress

This page was built for publication: An algebra of mixed computation

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