scientific article; zbMATH DE number 3362972
From MaRDI portal
Publication:5636307
Cited in
(44)- Algebraic domain equations
- P-varieties - a signature independent characterization of varieties of ordered algebras
- Order completion monads
- Infinite-word languages and continuous mappings
- L.P.L. A fuzzy programming language. I: Syntactic aspects
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- Partially additive categories and flow-diagram semantics
- L.P.L. - A fuzzy programming language. II: Semantic aspects
- Unique fixed points vs. least fixed points
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
- Varieties of chain-complete algebras
- Petri nets, event structures and domains. I
- An algebraic definition for control structures
- Recursion-closed algebraic theories
- Tree constructions of free continuous algebras
- The IO- and OI-hierarchies
- Fixed point theorems and semantics: A folk tale
- Regular trees and the free iterative theory
- On rational definitions in complete algebras without rank
- Varieties of ordered algebras
- Una classe di schemi ricorsivi non-deterministici paralleli
- Program invariants as fixedpoints
- The equational logic of fixed points
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- A new perspective on intermediate algorithms via the Riemann-Hilbert correspondence
- Translatability of schemas over restricted interpretations
- On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
- Positive varieties of tree languages
- A concrete realization of the Hoare powerdomain
- Parallélisation sémantique
- scientific article; zbMATH DE number 3818648 (Why is no real title available?)
- scientific article; zbMATH DE number 3907742 (Why is no real title available?)
- Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
- Algebraic specification of data types: A synthetic approach
- Recursive data structures
- scientific article; zbMATH DE number 3567992 (Why is no real title available?)
- A survey of state vectors
- A programming language for the interval geometric machine
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Categorical semantics for programming languages
- Whole-grain Petri nets and processes
- Iterative factor algebras and induced metrics
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 Q5636307)
