Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)

From MaRDI portal

(Redirected from Publication:2051565)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Model_completeness,_uniform_interpolants_and_superposition_calculus._(With_applications_to_verification_of_data-aware_processes)&oldid=78414713"