Searching for authors named "Stephan Schmitt" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

Converting non-classical matrix proofs into sequent-style systems
by Stephan Schmitt, Christoph Kreitz — 1996 — CADE--13, LNAI 1104
…Converting Non-Classical Matrix Proofs into Sequent-Style Systems Stephan Schmitt Christoph Kreitz…
Cited by 17 (10 self) – Add To MetaCart

A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems
by Christoph Kreitz, Stephan Schmitt — 2000 — Journal of Information and Computation
… Procedure for Converting Matrix Proofs into Sequent-Style Systems Christoph Kreitz Stephan Schmitt…
Cited by 9 (7 self) – Add To MetaCart

JProver: Integrating connection-based theorem proving into interactive proof assistants
by Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin — 2001 — IJCAR’01, volume 2083 of LNAI
…JProver: Integrating Connection-based Theorem Proving into Interactive Proof Assistants Stephan…
Cited by 5 (2 self) – Add To MetaCart

Guiding Program Development Systems by a . . .
by Christoph Kreitz, Jens Otten, Stephan Schmitt — 1995
… Otten and Stephan Schmitt ' & $ % ' & $ % In: M. Proietti, editor, Proceedings of the Fifth…
Add To MetaCart

New Methods for the Computer-Assisted 3D
by Reconstruction Of Neurons, Stephan Schmitt, Michael Scholz, Jan-felix Evers, Klaus Obermayer, Carsten Duch — 2004 — NeuroImage
… Stephan Schmitt ¢¡¤£ Michael Scholz , Jan-Felix Evers ¥ , Klaus Obermayer , Carsten Duch ¥ Department…
Add To MetaCart

Guiding Program Development Systems by a Connection Based Proof Strategy
by Christoph Kreitz, Jens Otten, Stephan Schmitt, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — 5 th International Workshop on Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1048
… Otten Stephan Schmitt Fachgebiet Intellektik, Fachbereich Informatik Technische Hochschule Darmstadt…
Cited by 20 (14 self) – Add To MetaCart

On transforming intuitionistic matrix proofs into standard-sequent proofs
by Stephan Schmitt, Christoph Kreitz, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1995 — TABLEAUX–95, LNAI 918
…On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs Stephan Schmitt…
Cited by 32 (19 self) – Add To MetaCart

' $ % ' $ %
by In Calmet And, Wolfgang Bibel, Daniel Korn, Christoph Kreitz, Stephan Schmitt, W. Bibel, D. Korn, C. Kreitz, S. Schmitt, Fachgebiet Intellektik, Fachgebiet Intellektik, Fachbereich Informatik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — Design and Implementation of Symbolic Computation Systems, LNCS 1126
… and Christoph Kreitz and Stephan Schmitt ' & $ % ' & $ % In J. Calmet and C. Limongelli, Design…
Add To MetaCart

MetaPRL - A Modular Logical Environment
by Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu — 2003
… , Stephan Schmitt 5 , Carl Witty 6 , and Xin Yu 1 1 Department of Computer Science, California…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB