Works cited by this work

55 works

Work: Defining algorithmically presented structures in first order logic

1. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.587336

2. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.587337

3. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.587338

4. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.587339

5. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.587340