Alexander Fuchs

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

Collaborative distances:

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

2009

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

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

J. Appl. Log., 2009

Ground Interpolation for the Theory of Equality.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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