Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- articleSeptember 2011
Ramified Corecurrence and Logspace
Electronic Notes in Theoretical Computer Science (ENTCS) (ENTCS), Volume 276Pages 247–261https://doi.org/10.1016/j.entcs.2011.09.025Ramified recurrence over free algebras has been used over the last two decades to provide machine-independent characterizations of major complexity classes. We consider here ramification for the dual setting, referring to coinductive data and ...
- articleJuly 2006
An arithmetic for polynomial-time computation
Theoretical Computer Science (TCSC), Volume 357, Issue 1Pages 202–214https://doi.org/10.1016/j.tcs.2006.03.019We define a restriction LHA of Heyting arithmetic HA with the property that all extracted programs are feasible. The restrictions consist in linearity and ramification requirements.
- articleApril 1997
Action-Based Causal Reasoning
Applied Intelligence (KLU-APIN), Volume 7, Issue 2Pages 99–111https://doi.org/10.1023/A:1008261710574In this paper we present a causal theory based on an interventionist conception of causality, i.e., a preference to select causes among a set of actions which an agent has the ability to perform or not to perform (free will). The most interesting ...
