Sofronie-Stokkermans, Viorica
Sofronie-Stokkermans, Viorica 1965-
VIAF ID: 173066429 ( Personal )
Permalink: http://viaf.org/viaf/173066429
Preferred Forms
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Abduction in first order logic with equality. | |
Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings | |
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings | |
Local theory extensions, hierarchical reasoning and applications to verification preliminary report | |
Prime implicate generation in equational logic | |
Resolution based decision procedures for the universal theory of some classes of distributive lattices with operators | |
Schematic calculi for the analysis of decision procedures |