scientific article; zbMATH DE number 1142321

zbMath0900.68295MaRDI QIDQ4385537

Peter D. Mosses

Publication date: 14 May 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (19)

Semantics of plan revision in intelligent agents ⋮ Algebraic domains of natural transformations ⋮ Action Semantics in Retrospect ⋮ An Action Semantics Based on Two Combinators ⋮ The rewriting logic semantics project: a progress report ⋮ More on advice on structuring compilers and proving them correct ⋮ On convex relaxations of quadrilinear terms ⋮ A fuzzy language. ⋮ Proof-theoretic notions for software maintenance ⋮ Unnamed Item ⋮ From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice ⋮ Bi-inductive structural semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Algebraic domain equations ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories ⋮ On a generalized product for domains ⋮ Not by equations alone: Reasoning with extensible effects ⋮ Bi-inductive Structural Semantics ⋮ A unified language processing methodology

This page was built for publication: