Login / Signup
Real-time linear logic.
James F. Peters III
Published in:
Methods Log. Comput. Sci. (1994)
Keyphrases
</>
linear logic
real time
fixed point
logical framework
sequent calculus
proof search
cut elimination
intuitionistic logic
knowledge representation
logic programming
desirable properties
natural deduction