scientific article; zbMATH DE number 4033040
zbMATH Open0634.68001MaRDI QIDQ3773301FDOQ3773301
Authors: Horst Reichel 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 432732
- scientific article; zbMATH DE number 3963900
- scientific article; zbMATH DE number 3880784
- An encoding of partial algebras as total algebras
- On the existence of extensional partial combinatory algebras
- scientific article; zbMATH DE number 2086653
- scientific article; zbMATH DE number 4011909
- scientific article; zbMATH DE number 3869407
- On the algebraic definition of programming languages
- scientific article; zbMATH DE number 2182599
semanticalgebraic specificationspartial algebrasstructural inductionhep-quasi-varietiesparameterized abstract data typesbehavioural canonsequational partialityhep-varietiesinitial computability
General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Semantics in the theory of computing (68Q55) Partial algebras (08A55)
Cited In (36)
- Title not available (Why is that?)
- A generalization of the concept of sketch
- Equivalences among various logical frameworks of partial algebras
- CSP, partial automata, and coalgebras.
- On institutions for modular coalgebraic specifications.
- Foundations for structuring behavioural specifications
- Proving the correctness of behavioural implementations
- Specifications in an arbitrary institution
- Observational logic, constructor-based logic, and their duality.
- Partial arithmetical data types of rational numbers and their equational specification
- Relaxed models for rewriting logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Van Kampen Colimits and Path Uniqueness
- Fibred amalgamation, descent data, and Van Kampen squares in topoi
- Title not available (Why is that?)
- On the algebraic structure of declarative programming languages
- ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS
- On an essentially algebraic theory for locally presentable categories
- Coinduction for preordered algebra
- Quasi-varieties: A special access
- Behavioural theories and the proof of behavioural properties
- Integrating Maude into Hets
- Title not available (Why is that?)
- Universal algebras
- An encoding of partial algebras as total algebras
- Preservation in many-valued truth institutions
- Initial Algebra Semantics Is Enough!
- Specification styles in distributed systems design and verification
- Proof systems for structured specifications with observability operators
- Title not available (Why is that?)
- Conditional rewriting logic as a unified model of concurrency
- Relating CASL with other specification languages: the institution level.
- Conditional rewriting logic: Deduction, models and concurrency
- Proving semantical equivalence of data specifications
- Equational type logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3773301)
