Talcott, Carolyn L.
URI(s)
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Bronstein, A. String-functional semantics for formal verification of synchronous circuits, c1988:t.p. (Carolyn L. Talcott)
- found: Reflections on the foundations of mathematics, 2002:CIP t.p. (Carolyn Talcott, Computer Sci. Dept., Stanford Univ.) data sheet (b. June 14, 1941)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1988-12-22: new
- 2002-03-28: revised
Alternate Formats