search

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

Structural Descriptive Names #33

Open greenTara opened 11 years ago

greenTara commented 11 years ago

Informative Annex that provides a reserved vocabulary for structural descriptive names (in the sense of Tarski)