DIUM/CCTC
Login
|
Register
|
Print
Navigation
DI
EL
Education
Events
JoseLuisSilva
Personal
Research
Main
»
TWikiUsers
»
CesarRodrigues
Personal Information
Name: César J. Rodrigues
Email:
cjr@di.uminho.pt
Web: This Page
Phone: +351253604445
Research Interests
Formal Methods
Mathematics of Program Construction
Refinement Calculi
Calculus of Relations
Category Theory
About My Ph.D Project
Subject. foundations of program development by calculation
Background. the pointfree relational calculus
Emphasis. data refinement and the calculus SETS
Case study. database normalization by calculation
r3 - 15 Jun 2005 - 14:31:19 -
CesarRodrigues
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback
Syndicate this site
RSS
ATOM