Alexander Fuchs

Affiliations:
  • Comsoft, Karlsruhe, Germany
  • University of Iowa, Iowa City, IA, USA


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Ground interpolation for the theory of equality
Log. Methods Comput. Sci., 2012

2009
Computing finite models by reduction to function-free clause logic.
J. Appl. Log., 2009

2008
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints.
Proceedings of the Logic for Programming, 2008

2006
Implementing the Model Evolution Calculus.
Int. J. Artif. Intell. Tools, 2006

Lemma Learning in the Model Evolution Calculus.
Proceedings of the Logic for Programming, 2006


  Loading...