Login / Signup
On Mints' Reduction for ccc-Calculus.
Yohji Akama
Published in:
TLCA (1993)
Keyphrases
</>
data sets
special case
reduction method
database
multi agent systems
model checking
data reduction
automated deduction
computer algebra