Browse by Person (creator, editor, contributor, etc.)

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

Jump to: Monograph | Conference or workshop item

Number of items: 2.

Monograph

King, Andy and Sondergaard, Harald (2008) Inferring Congruence Equations with SAT. Technical report. Springer, Berlin, Germany

Preview

Conference or workshop item

King, Andy and Sondergaard, Harald (2010) Automatic Abstraction for Congruences. In: Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation. The full text of this publication is not available from this repository.

This list was generated on Sat May 18 11:21:28 2013 BST.