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
Number of items: 5.

Hawraneck, Matthias and Zimmer, Jürgen and Raberg, Wolfgang and Prügl, Klemens and Schmitt, Stephan and Bever, Thomas and Flege, Stefan and 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,
[Article]

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

Schmitt, Stephan and 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 and Mantel, Heiko and Otten, Jens and 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 and 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]

This list was generated on Tue Jun 15 02:01:43 2021 CEST.