Don Pigozzi


AuthID: R-006-F00

Publications Requiring Validation

1
TITLE: Behavioural reasoning for conditional equations
AUTHORS: Manuel A Martins ; Don Pigozzi;
PUBLISHED: 2007, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 12

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service