Otto, Martin, 1961-
URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Bounded variable logics and counting, c1996:CIP t.p. (Martin Otto) t.p. verso (Mathematische Grundlagen der Informatik, RWTH Aachen, Aachen, Ger.) data sht. (b. Mar. 8, 1961)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1996-11-19: new
Alternate Formats