scientific article; zbMATH DE number 3784268
From MaRDI portal
Publication:3962469
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Applications of computability and recursion theory (03D80) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Cited in
(10)- Sequential and parallel enumeration
- Function-dependent teams in eco-grammar systems.
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- On the Lebesgue measurability of continuous functions in constructive analysis
- A semantic approach to order-sorted rewriting
- Design strategies for rewrite rules
- On structured graph grammars. I
- Classifying circular cellular automata
- On randomization and discovery
- Introduction to graph grammars with applications to semantic networks
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3962469)
