Searching for authors named "Uwe Waldmann" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
A New Input Technique for Accented Letters in Alphabetical Scripts
- …A New Input Technique for Accented Letters in Alphabetical Scripts Uwe Waldmann Max…
- Add To MetaCart
-
Cancellative Abelian Monoids in Refutational Theorem Proving. Dissertation, Universitat des Saarlandes
- … Cancellative Abelian Monoids in Refutational Theorem Proving Uwe Waldmann Dissertation zur…
- Cited by 3 (1 self) – Add To MetaCart
-
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
- … Torsion-Free Abelian Groups Uwe Waldmann MPI{I{1999-2{003 March 1999 FORSCHUNGSBERICHT RESEARCH REPORT M A…
- Cited by 2 (0 self) – Add To MetaCart
-
Superposition and Model Evolution Combined
- … University, Canberra, Australia Peter.Baumgartner@(email omitted); Uwe Waldmann MPI für Informatik, Saarbrücken…
- Add To MetaCart
-
Superposition modulo a Shostak theory
- …Superposition modulo a Shostak Theory Harald Ganzinger, Thomas Hillenbrand, and Uwe Waldmann Max…
- Cited by 2 (0 self) – Add To MetaCart
-
Theorem Proving in Cancellative Abelian Monoids
- … Monoids Harald Ganzinger Uwe Waldmann MPI--I--96--2--001 January 1996 i j k I N F O R M A T I K Im…
- Cited by 8 (1 self) – Add To MetaCart
-
Set Constraints are the Monadic Class
- … Bachmair Harald Ganzinger Uwe Waldmann MPI--I--92--240 December 1992 i j k I N F O R M A T I K Im…
- Cited by 69 (0 self) – Add To MetaCart
-
Modular proof systems for partial functions with Evans equality
- … Sofronie-Stokkermans, and Uwe Waldmann Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, 66123…
- Cited by 10 (4 self) – Add To MetaCart
-
A Superposition Calculus for Divisible Torsion-Free Abelian Groups
- …A Superposition Calculus for Divisible Torsion-Free Abelian Groups Uwe Waldmann 1 Introduction…
- Add To MetaCart
-
Automatic verification of hybrid systems with large discrete state space
- …,2 , Stefan Disch 3 , Hardi Hungar 2 , Jun Pang 1 , Florian Pigorsch 3 , Christoph Scholl 3 , Uwe Waldmann 4…
- Cited by 5 (4 self) – Add To MetaCart
Showing 1 through 10.
