Travelled to:
1 × USA
Collaborated with:
M.F.Frias
Talks about:
calculus (1) program (1) complet (1) scheme (1) relat (1)
Person: Roger D. Maddux
DBLP: Maddux:Roger_D=
Contributed to:
Wrote 1 papers:
- LICS-1998-FriasM #calculus #relational
- Completeness of a Relational Calculus for Program Schemes (MFF, RDM), pp. 127–134.