Programs in partial algebras
From MaRDI portal
Publication:685398
DOI10.1016/0304-3975(93)90058-2zbMath0784.08005MaRDI QIDQ685398
Publication date: 17 October 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90058-2
08A70: Applications of universal algebra in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
08A55: Partial algebras
Cites Work