Superposition Modulo Linear Arithmetic SUP(LA).
- Publikationstyp:
- Konferenzbeitrag
- Metadaten:
-
- Autoren
- Ernst Althaus
- Evgeny Kruglov
- Christoph Weidenbach
- Editoren
- Silvio Ghilardi
- Roberto Sebastiani
- ISBN-13
- 978-3-642-04221-8
- Zeitschrift
- FroCoS
- Paginierung
- 84 - 99
- Datum der Veröffentlichung
- 2009
- Herausgeber
- Springer
- Herausgeber URL
- https://doi.org/10.1007/978-3-642-04222-5
- Titel
- Superposition Modulo Linear Arithmetic SUP(LA).
- Ausgabe der Zeitschrift
- 5749
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
- Eigentum von