The following pages link to Annalisa Bossi (Q1035701):
Displaying 34 items.
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- (Q1126256) (redirect page) (← links)
- Differential logic programs: Programming methodologies and semantics (Q1126260) (← links)
- An intuitionistic theory of types with assumptions of high-arity variables (Q1192333) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- Norms on terms and their use in proving universal termination of a logic program (Q1318707) (← links)
- A divide-and-conquer approach to general context-free parsing (Q1836996) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- (Q2723923) (← links)
- (Q2736363) (← links)
- Semantics of well-moded input-consuming logic programs (Q2745732) (← links)
- (Q2763687) (← links)
- (Q2767054) (← links)
- Transforming Processes to Check and Ensure Information Flow Security* (Q2996149) (← links)
- A Proof System for Information Flow Security (Q3079920) (← links)
- Using FP as a query language for relational data-bases (Q3327753) (← links)
- Theoretical Foundations and Semantics of Logic Programming (Q3578389) (← links)
- Termination of well-moded programs (Q4245930) (← links)
- The s-semantics approach: Theory and applications (Q4305626) (← links)
- (Q4414391) (← links)
- Properties of Input-Consuming Derivations (Q4452613) (← links)
- On modular termination proofs of general logic programs (Q4452617) (← links)
- (Q4499239) (← links)
- (Q4506390) (← links)
- (Q4537519) (← links)
- (Q4707738) (← links)
- Simultaneous Replacement in Normal Programs (Q4870068) (← links)
- Termination of simply moded logic programs with dynamic scheduling (Q5277705) (← links)
- Basic transformation operations which preserve computed answer substitutions of logic programs (Q5286917) (← links)
- Unwinding Conditions for Security in Imperative Languages (Q5458796) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)
- (Q5688899) (← links)
- Program Development in Computational Logic (Q5712545) (← links)
- Theoretical Computer Science (Q5897373) (← links)