scientific article; zbMATH DE number 4124988
From MaRDI portal
Publication:4205071
zbMath0686.68014MaRDI QIDQ4205071
Alberto Pettorossi, Andrzej Skowron
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items (3)
Shortcut fusion rules for the derivation of circular and higher-order programs ⋮ Breadth-first traversal via staging ⋮ Unnamed Item
This page was built for publication:
