Back to Results
First PageMeta Content



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

Document Date: 2017-06-27 17:17:14


Open Document

File Size: 152,68 KB

Share Result on Facebook