Free objects and equational deduction for partial conditional specifications
From MaRDI portal
Publication:673184
DOI10.1016/0304-3975(95)00246-5zbMATH Open0872.68114OpenAlexW2077369743MaRDI QIDQ673184FDOQ673184
Authors: Egidio Astesiano, Maura Cerioli 
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(95)00246-5
Recommendations
Birkhoff-like deduction theoryempty-carrier problemexistence of free and initial modelsfree modelsinfinitary conjunctionsterm-generated extensional models
Cites Work
- Title not available (Why is that?)
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Quasi-varieties in abstract algebraic institutions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computability, complexity, logic. Transl. from the German
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
- 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?)
Cited In (7)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Structures for abstract rewriting
- HasCasl: integrated higher-order specification and program development
- Non-strict don't care algebras and specifications
- Relating CASL with other specification languages: the institution level.
- Conditional equational specifications of data types with partial operations for inductive theorem proving
This page was built for publication: Free objects and equational deduction for partial conditional specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673184)
