dblp.uni-trier.dewww.uni-trier.de

Steven Obua

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
6EESteven Obua: Proof Pearl: Looping Around the Orbit. TPHOLs 2007: 223-231
2006
5EESteven Obua: Partizan Games in Isabelle/HOLZF. ICTAC 2006: 272-286
4EESteven Obua, Sebastian Skalberg: Importing HOL into Isabelle/HOL. IJCAR 2006: 298-302
3EESteven Obua: Checking Conservativity of Overloaded Definitions in Higher-Order Logic. RTA 2006: 212-226
2005
2EESteven Obua: Proving Bounds for Real Linear Programs in Isabelle/HOL. Mathematics, Algorithms, Proofs 2005
1EESteven Obua: Proving Bounds for Real Linear Programs in Isabelle/HOL. TPHOLs 2005: 227-244

Coauthor Index

1Sebastian Skalberg [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)