Sequential, Parallel, and Quantified Updates of First-Order Structures.

Philipp Rmmer

Browse the full LPAR paper archive.