vix.ing · top · new · best · stats · spec

Tatsuji Kawai

  1. Representing definable functions of HAω by neighbourhood functions
    2019/01/31 by Tatsuji Kawai, Kawai, Tatsuji · 1 citation
    Computer Science · #03D65 #03F10 #03F50 #03F55 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge