Travelled to:
1 × Czech Republic
Collaborated with:
I.Pratt-Hartmann
Talks about:
euclidean (1) region (1) comput (1) logic (1) base (1)
Person: Yavor Nenov
DBLP: Nenov:Yavor
Contributed to:
Wrote 1 papers:
- CSL-2010-NenovP #logic #on the
- On the Computability of Region-Based Euclidean Logics (YN, IPH), pp. 439–453.