Vol-1268⫷ Vol-1269 ⫸Vol-1270
urn:nbn:de:0074-1269-0


Vol-1269/paper34⫷Vol-1269/paper46⫸Vol-1269/paper58
Simone TiniValentina CastiglioniRuggero Lanotte

A Function Elimination Method for Checking Satisfiability of Arithmetical Logics