First Page | Document Content | |
---|---|---|
![]() Date: 2014-07-29 07:28:39Linear algebra Logic in computer science Proof theory Functions and mappings Vector space Function Presburger arithmetic Linear programming Euclidean vector Mathematics Algebra Abstract algebra | Add to Reading List |
![]() | Deciding Presburger Arithmetic Michael Norrish National ICT Australia Michael Norrish (National ICT Australia)DocID: 1nzXT - View Document |
![]() | Deciding Presburger Arithmetic Michael Norrish National ICT Australia Michael Norrish (National ICT Australia)DocID: 1mD7Q - View Document |
![]() | Interpolating Quantifier-Free Presburger Arithmetic Daniel Kroening1 , Jérôme Leroux2 , and Philipp Rümmer1 1 2 Oxford University Computing Laboratory, United KingdomDocID: 1m0oi - View Document |
![]() | J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a versionDocID: 1lNBe - View Document |
![]() | Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias NipkowDocID: 1kPat - View Document |