A Propositional Proof System with Quantification Over Permutations
Tytuł:
A Propositional Proof System with Quantification Over Permutations
Czasopismo:
Rok:
2007
Strony:
71-83
Tom (seria wydawnicza):
79