Alexander Fuchs

According to our database, Alexander Fuchs authored at least 5 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Ground interpolation for the theory of equality

Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli

Log. Methods Comput. Sci., 2012

2009

Computing finite models by reduction to function-free clause logic.

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli

J. Appl. Log., 2009

2008

(LIA) - Model Evolution with Linear Integer Arithmetic Constraints.

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli

Proceedings of the Logic for Programming, 2008

2006

Implementing the Model Evolution Calculus.

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli

Int. J. Artif. Intell. Tools, 2006

Lemma Learning in the Model Evolution Calculus.

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli

Proceedings of the Logic for Programming, 2006