Skip to main content
Top

Journal of Automated Reasoning

Issue 2/2011

Content (3 Articles)

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

Premium Partner