Skip to main content

Journal of Automated Reasoning

Ausgabe 2/2011

Inhalt (3 Artikel)

Closed-Form Upper Bounds in Static Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

A Polynomial Model for Logics with a Prime Power Number of Truth Values

Antonio Hernando, Eugenio Roanes-Lozano, Luis M. Laita