4266 search results - page 51 / 854 » A Framework for Defining Logics |
CSL
2010
Springer
14 years 9 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
FSS
2010
14 years 7 months ago
2010
: We define compactness for stratified lattice-valued convergence spaces and show that a Tychonoff theorem is true. Further a generalization of the classical Richardson compactific...
JSYML
2008
14 years 9 months ago
2008
We describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an...
ENTCS
2006
14 years 9 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
JUCS
2008
14 years 9 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...