171![Satisfiability of High-Level Conditions Annegret Habel and Karl-Heinz Pennemann Carl v. Ossietzky Universit¨ at Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de Satisfiability of High-Level Conditions Annegret Habel and Karl-Heinz Pennemann Carl v. Ossietzky Universit¨ at Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de](https://www.pdfsearch.io/img/92b308e0304aaebd4d8fbe333b078242.jpg) | Add to Reading ListSource URL: formale-sprachen.informatik.uni-oldenburg.deLanguage: English - Date: 2006-06-21 08:44:17
|
---|
172![Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆](https://www.pdfsearch.io/img/218f60675814333f50e72ac360fb723b.jpg) | Add to Reading ListSource URL: formale-sprachen.informatik.uni-oldenburg.deLanguage: English - Date: 2006-08-11 13:42:10
|
---|
173![Workshop on group schemes and p-divisible groups: Homework[removed]i) Using the structure theorem and Frobenius morphisms, prove that a finite group scheme over a field is killed by its order. (Exer. 3(ii) in HW1 gives a Workshop on group schemes and p-divisible groups: Homework[removed]i) Using the structure theorem and Frobenius morphisms, prove that a finite group scheme over a field is killed by its order. (Exer. 3(ii) in HW1 gives a](https://www.pdfsearch.io/img/c5b21065d0aae272fa96b825e7c4ec9c.jpg) | Add to Reading ListSource URL: math.stanford.eduLanguage: English - Date: 2005-05-26 17:44:58
|
---|
174![Journal of Number Theory 78, 253270[removed]Article ID jnth[removed], available online at http:www.idealibrary.com on Remarks on mod-l n Representations, l=3, 5 Brian Conrad Department of Mathematics, Harvard Universi Journal of Number Theory 78, 253270[removed]Article ID jnth[removed], available online at http:www.idealibrary.com on Remarks on mod-l n Representations, l=3, 5 Brian Conrad Department of Mathematics, Harvard Universi](https://www.pdfsearch.io/img/f6690ab59f0760ad59dbd82bf09e2b9f.jpg) | Add to Reading ListSource URL: math.stanford.eduLanguage: English - Date: 2004-08-10 17:15:22
|
---|
175![Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2](https://www.pdfsearch.io/img/241222b695d47499e301c08e894a871a.jpg) | Add to Reading ListSource URL: formale-sprachen.informatik.uni-oldenburg.deLanguage: English - Date: 2006-06-21 08:43:28
|
---|
176![Network Theory I: Electrical Circuits and Signal-Flow Graphs John Baez, Jason Erbele, Brendan Fong
The category with vector spaces as objects and linear maps as morphisms becomes symmetric monoidal with the usual ⊗. Network Theory I: Electrical Circuits and Signal-Flow Graphs John Baez, Jason Erbele, Brendan Fong
The category with vector spaces as objects and linear maps as morphisms becomes symmetric monoidal with the usual ⊗.](https://www.pdfsearch.io/img/fc07ddd6300367a1cd8f4b5cb08e3713.jpg) | Add to Reading ListSource URL: math.ucr.eduLanguage: English - Date: 2014-03-02 08:12:49
|
---|
177![CLASS FIELD THEORY C. CIIEVALLEY NAGOYA UNIVEIWTY[removed] CLASS FIELD THEORY C. CIIEVALLEY NAGOYA UNIVEIWTY[removed]](https://www.pdfsearch.io/img/8b385ed038733cf667aeb9833edbf174.jpg) | Add to Reading ListSource URL: www.plouffe.frLanguage: English - Date: 2014-05-28 20:51:53
|
---|
178![Journal of Instruction-Level Parallelism[removed]Submitted 9/03; published 11/03 Journal of Instruction-Level Parallelism[removed]Submitted 9/03; published 11/03](https://www.pdfsearch.io/img/93ca1488fffefb76db0e744824343b2a.jpg) | Add to Reading ListSource URL: www.jilp.orgLanguage: English - Date: 2004-01-21 11:47:57
|
---|
179![[removed]The Invariant Problem for Binary [removed]The Invariant Problem for Binary](https://www.pdfsearch.io/img/b784c48624097e9f1c1bb2af688af7bc.jpg) | Add to Reading ListSource URL: www.haverford.eduLanguage: English - Date: 2013-09-04 15:47:39
|
---|
180![Children’s Scope Assignment Children’s Scope Assignment](https://www.pdfsearch.io/img/717126355c2054a5d16ac0e004805083.jpg) | Add to Reading ListSource URL: www.lingref.comLanguage: English - Date: 2013-07-01 12:51:24
|
---|