Algebra and Coalgebra in Computer Science
From MaRDI portal
Publication:5492827
DOI10.1007/11548133zbMATH Open1151.68375OpenAlexW249899439MaRDI QIDQ5492827
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11548133
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Symbolic evaluation with structural recursive symbolic constants ⋮ Title not available (Why is that?) ⋮ A rationale for conditional equational programming ⋮ Recursion equation sets computing logic programs ⋮ Programming in equational logic: Beyond strong sequentiality ⋮ Rewriting of imperative programs into logical equations ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)
This page was built for publication: Algebra and Coalgebra in Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492827)
