Some consequences of AD for Kleene recursion in 3E

von Griffor, E. R.
Veröffentlicht 1981

Definability and forcing in E-recursion

von Griffor, E. R.
Veröffentlicht 1982

Some consequences of AD for Kleene recursion in 3 E

von Griffor, E. R.
Veröffentlicht 1981

Recursive enumerability and indexicality in E-recursion

von Griffor, E. R.
Veröffentlicht 1981

Effective cofinalities and admissibility in E-recursion

von Griffor, E. R.
Veröffentlicht 1982

DESIGNING METROLOGY FOR AUTOMATED DRIVING SYSTEMS SAFETY USING NIST CPS FRAMEWORK

von Bharracharjee, A.
Veröffentlicht in Simulation Innovation Workshop (2021 : Online) Simulation Innovation Workshop (SIW 2021) (2022)