Automated Reasoning in Some Local Extensions of Ordered Structures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Viorica Sofronie-Stokkermans, Carsten Ihlemann. Automated Reasoning in Some Local Extensions of Ordered Structures. In 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway. pages 1, IEEE Computer Society, 2007. [doi]

This author has not been identified. It may be one of the following persons:

Viorica Sofronie-Stokkermans

Look up 'Viorica Sofronie-Stokkermans' in GoogleThis author has not been identified. Look up 'Carsten Ihlemann' in Google

runs on WebDSL