Cited By
View all- Arkoudas KBringsjord S(2009)VividArtificial Intelligence10.1016/j.artint.2009.06.002173:15(1367-1405)Online publication date: 1-Oct-2009
The raise of the abstraction level of programming languages has resulted in the usage of models and model transformations in software development processes. As a consequence of the usage of models as input to model transformation tools, there is a need ...
Deduction modulo is a way to remove computational arguments from proofs by reasoning modulo a congruence on propositions. Such a technique, issued from automated theorem proving, is of general interest because it permits one to separate ...
Springer-Verlag
Berlin, Heidelberg