The following pages link to Maura Cerioli (Q673183):
Displaying 16 items.
- Free objects and equational deduction for partial conditional specifications (Q673184) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- (Q2722015) (← links)
- (Q2736339) (← links)
- (Q2764158) (← links)
- (Q2767181) (← links)
- (Q3043828) (← links)
- DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications (Q3623928) (← links)
- (Q4018062) (← links)
- (Q4035228) (← links)
- Very abstract specifications: a formalism independent approach (Q4236212) (← links)
- (Q4260389) (← links)
- (Q4312481) (← links)
- (Q4373553) (← links)
- (Q4702593) (← links)
- Non-strict don't care algebras and specifications (Q4882494) (← links)
