Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
Reductions for non-clausal theorem proving
Authors:
Aguilera, G de Guzman, IP Ojeda-Aciego, M Valverde, A
Citation:
G. Aguilera et al., Reductions for non-clausal theorem proving, THEOR COMP, 266(1-2), 2001, pp. 81-112
Implicates and reduction techniques for temporal logics
Authors:
de Guzman, IP Ojeda-Aciego, M Valverde, A
Citation:
Ip. De Guzman et al., Implicates and reduction techniques for temporal logics, ANN MATH A, 27(1-4), 1999, pp. 3-23
Risultati:
1-2
|