scientific article; zbMATH DE number 1368924
From MaRDI portal
Publication:4702567
zbMath1159.03312MaRDI QIDQ4702567
Publication date: 4 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Generating Specialized Interpreters for Modular Structural Operational Semantics ⋮ Copy complexity of Horn formulas with respect to unit read-once resolution
Uses Software
This page was built for publication:
