Código QR (código de barras bidimensional)

Ground interpolation for the theory of equality

Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality. The method produces interpolants from colored congruence graphs representing derivations in that theory. These graphs...

Fuld beskrivelse

Na minha lista:
Principais autores: Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstić, Cesare Tinelli
Format: Artigo
Sprog:Inglês
Udgivet: Logical Methods in Computer Science e.V. 2012-02-01
Serier:Logical Methods in Computer Science
Fag:
computer science - logic in computer science
d.2.4, f.3.1, f.4.1, i.2.3
Online adgang:https://lmcs.episciences.org/709/pdf
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker