cited by index terms collaborative colleagues
Primary Classification: H. Information Systems H.4 INFORMATION SYSTEMS APPLICATIONS
Additional Classification: F. Theory of Computation F.3 LOGICS AND MEANINGS OF PROGRAMS F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
General Terms: Design, Languages, Legal Aspects