TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: German | English
Number of items: 5.


Schmitt, Stephan ; Kreitz, (1998):
Deleting redundancy in proof reconstruction.
In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods <1998, Oisterwijk, The Netherlands>: Proceedings. Hrsg.: H. de Swart. - Berlin (u.a.): Springer, 1998. S. 262-276, 1397, Berlin (u.a.), Springer, [Conference or Workshop Item]

Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
McCune, William (ed.) (1997):
Connection-Based Proof Construction in Linear Logic.
In: LNAI 1249, In: 14th International Conference on Automated Deduction, CADE-14, pp. 207-221,
Townsville, Australia, Springer, [Conference or Workshop Item]

Schmitt, Stephan ; Kreitz, (1996):
On converting non-classical matrix proofs into sequent -style systems.
In: International Conference on Automated Deduction <13, 1996>: Proceedings. Hrsg.: M. McRobbie (u.a.) - Berlin (u.a.): Springer, 1996. S. 418-432, 1104, Berlin (u.a.), Springer, [Conference or Workshop Item]


Hawraneck, Matthias ; Zimmer, Jürgen ; Raberg, Wolfgang ; Prügl, Klemens ; Schmitt, Stephan ; Bever, Thomas ; Flege, Stefan ; Alff, Lambert (2008):
Diffusion based degradation mechanisms in giant magnetoresistive spin valves.
In: Applied Physics Letters, 93 (1), pp. 012504. American Institute of Physics, ISSN 00036951,

Schmitt, Stephan (2000):
Proof reconstruction in classical and nonclassical logics.
239, Berlin, Akad. Verl.-Ges. Aka, TU Darmstadt,
[Ph.D. Thesis]

This list was generated on Tue Aug 9 02:27:50 2022 CEST.