13 search results - page 1 / 3 » jlp 2010 |
JLP
2010
13 years 4 months ago
2010
JLP
2010
13 years 4 months ago
2010
JLP
2010
13 years 8 months ago
2010
Various simplified or improved, and partly corrected well-known implicit characterizations of the complexity classes FPTIME and NC are presented. Primarily, the interest is in si...
JLP
2010
13 years 8 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
JLP
2010
13 years 4 months ago
2010
Abstract. Noting that the usual `propositionally' based way of composing retrenchments can yield many `junk' cases, alternative approaches to composition are introduced (...