Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Dyckhoff, Roy"'
Autor:
DYCKHOFF, ROY
Publikováno v:
Bulletin of Symbolic Logic; Jun2019, Vol. 25 Issue 2, p196-207, 12p
Autor:
Bobzien, Susanne, Dyckhoff, Roy
Publikováno v:
Studia Logica; Apr2019, Vol. 107 Issue 2, p375-397, 23p
Publikováno v:
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings; 2016, p69-86, 18p
Autor:
Dyckhoff, Roy
Publikováno v:
Advances in Proof-Theoretic Semantics; 2016, p79-93, 15p
Autor:
Dyckhoff, Roy
Publikováno v:
Advances in Proof Theory; 2016, p245-267, 23p
Autor:
DYCKHOFF, ROY
Publikováno v:
Journal of Symbolic Logic; Dec2018, Vol. 83 Issue 4, p1680-1682, 3p
Autor:
Dyckhoff, Roy
Publikováno v:
Dag Prawitz on Proofs & Meaning; 2015, p163-187, 25p
Autor:
DYCKHOFF, ROY, NEGRI, SARA
Publikováno v:
Journal of Logic & Computation; Feb2016, Vol. 26 Issue 1, p169-187, 19p
Autor:
DYCKHOFF, ROY, NEGRI, SARA
Publikováno v:
Bulletin of Symbolic Logic; Jun2015, Vol. 21 Issue 2, p123-163, 41p
Autor:
Francez, Nissim, Dyckhoff, Roy
Publikováno v:
Mathematics of Language; 2010, p56-71, 16p