A New Proof of two Theorems about Rational Transductions.

André Arnold Michel Latteux

Published in: Theor. Comput. Sci. (1979)

Keyphrases

proof search
sequent calculus
finite state
cut elimination
linear logic
decision making
finite automata
rational agents
theorem prover
theorem proving
complete axiomatization
inference rules
search algorithm
reinforcement learning
proof theory
knowledge base
information systems
search engine
proof planning
databases