Navegar

Colección

Datos Estadísticas

Lista de

2013
1363
21st International Workshop on Algebraic Development Techniques, WADT 2012
1
"Satisfiability calculus: The semantic counterpart of a proof calculus in general logics" (2013) Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.M.; Maibaum, T.S.E. 21st International Workshop on Algebraic Development Techniques, WADT 2012. 7841 LNCS:195-211