Computer Science Logic

DOI10.1007/B13224zbMATH Open1116.68498OpenAlexW2623947920MaRDI QIDQ5292644

Bakhadyr Khoussainov

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13224

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (11)

Relations as abstract datatypes: An institution to specify relations between algebras ⋮ Stratified type inference for generalized algebraic data types ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Algebraic specifications, higher-order types and set-theoretic models ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Decision procedures for algebraic data types with abstractions

This page was built for publication: Computer Science Logic

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