scientific article; zbMATH DE number 4033040
algebraic specificationsbehavioural canonsequational partialityhep-quasi-varietieshep-varietiesinitial computabilityparameterized abstract data typespartial algebrassemanticstructural induction
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Partial algebras (08A55) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30)
- 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
- On the algebraic structure of declarative programming languages
- Specifications in an arbitrary institution
- Universal algebras
- Specification styles in distributed systems design and verification
- Conditional rewriting logic as a unified model of concurrency
- Proof systems for structured specifications with observability operators
- CSP, partial automata, and coalgebras.
- On institutions for modular coalgebraic specifications.
- Quasi-varieties: A special access
- Relating CASL with other specification languages: the institution level.
- Relaxed models for rewriting logic
- Observational logic, constructor-based logic, and their duality.
- Partial arithmetical data types of rational numbers and their equational specification
- Fibred amalgamation, descent data, and Van Kampen squares in topoi
- On an essentially algebraic theory for locally presentable categories
- Integrating Maude into Hets
- scientific article; zbMATH DE number 432732 (Why is no real title available?)
- scientific article; zbMATH DE number 3869407 (Why is no real title available?)
- scientific article; zbMATH DE number 3880784 (Why is no real title available?)
- ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS
- Initial Algebra Semantics Is Enough!
- scientific article; zbMATH DE number 5545434 (Why is no real title available?)
- scientific article; zbMATH DE number 3911679 (Why is no real title available?)
- scientific article; zbMATH DE number 4011909 (Why is no real title available?)
- Foundations for structuring behavioural specifications
- Van Kampen Colimits and Path Uniqueness
- Proving the correctness of behavioural implementations
- Conditional rewriting logic: Deduction, models and concurrency
- Preservation in many-valued truth institutions
- Coinduction for preordered algebra
- Equivalences among various logical frameworks of partial algebras
- Behavioural theories and the proof of behavioural properties
- Proving semantical equivalence of data specifications
- Equational type logic
- A generalization of the concept of sketch
- An encoding of partial algebras as total algebras
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)
