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 AutomataAdd to Reading ListSource URL: www.win.tue.nlDownload Document from Source WebsiteFile Size: 152,68 KBShare Document on Facebook |