<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-07-20 21:07:25Digital physics Theory of computation Edward Fredkin Cellular automaton Philosophy of mind Automata theory Quantum mechanics Introduction to quantum mechanics Interpretations of quantum mechanics Physics Science Theoretical physics |
![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](https://www.pdfsearch.io/img/7000601d3ff3972aa7104a433cd5ef2a.jpg "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")
