scientific article; zbMATH DE number 1142321
From MaRDI portal
Publication:4385537
zbMath0900.68295MaRDI QIDQ4385537
Publication date: 14 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
