scientific article; zbMATH DE number 1142321
From MaRDI portal
Publication:4385537
Cited in
(19)- Bi-inductive structural semantics
- Algebraic domain equations
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- More on advice on structuring compilers and proving them correct
- On a generalized product for domains
- Algebraic domains of natural transformations
- A fuzzy language.
- A unified language processing methodology
- On convex relaxations of quadrilinear terms
- Formulation symmetries in circle packing
- Bi-inductive structural semantics (extended abstract)
- The rewriting logic semantics project: a progress report
- Action Semantics in Retrospect
- An Action Semantics Based on Two Combinators
- The rewriting logic semantics project: a progress report
- Proof-theoretic notions for software maintenance
- Not by equations alone. Reasoning with extensible effects
- From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice
- Semantics of plan revision in intelligent agents
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 Q4385537)
