An algebra of mixed computation

DOI10.1016/0304-3975(91)90300-QzbMath0735.68046OpenAlexW2057137836MaRDI QIDQ1179696

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) Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

From partial evaluation to mixed computation

Cites Work

• Unnamed Item
• Mixed computation: potential applications and problems for study
• On the partial computation principle

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