Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx 1. Arcadian Automata - Predicate logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-06-27 17:17:14		Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata Add to Reading List Source URL: www.win.tue.nl Download Document from Source Website File Size: 152,68 KB Share Document on Facebook