Three faces of recursion axioms: the case of constructive dynamic logic of relation changers (Q114632458)
Jump to navigation
Jump to search
scientific article published in 2022
Language | Label | Description | Also known as |
---|---|---|---|
English | Three faces of recursion axioms: the case of constructive dynamic logic of relation changers |
scientific article published in 2022 |
Statements
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers (English)
1 reference
Ryo Hatano
1 reference
Katsuhiko Sano
1 reference
13 June 2022
1 reference