Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Borges, Ana de Almeida Gabriel Vieira
https://www.mathnet.ru/eng/person131339
List of publications on Google Scholar
Presentations in
Math-Net.Ru
1.
A calculus for worms
A. Borges
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 19, 2017
14:25
