scientific article
From MaRDI portal
Publication:3962469
zbMath0497.68025MaRDI QIDQ3962469
Michael A. Arbib, A. J. Kfoury, Robert Moll
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Applications of computability and recursion theory (03D80) General topics in the theory of software (68N01) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (10)
Design strategies for rewrite rules ⋮ On the Lebesgue measurability of continuous functions in constructive analysis ⋮ On randomization and discovery ⋮ Introduction to graph grammars with applications to semantic networks ⋮ Function-dependent teams in eco-grammar systems. ⋮ A semantic approach to order-sorted rewriting ⋮ Discrete-time hybrid modeling and verification of the batch evaporator process benchmark ⋮ On structured graph grammars. I ⋮ Sequential and parallel enumeration ⋮ Classifying circular cellular automata
This page was built for publication:
