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, American Institute of Physics, pp. 012504, 93, (1), ISSN 00036951,
[Online-Edition: http://dx.doi.org/10.1063/1.2956394],

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

Schmitt, Stephan and Kreitz, (1998):
Deleting redundancy in proof reconstruction.
Berlin (u.a.), Springer, 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, [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: 14th International Conference on Automated Deduction, CADE-14, Townsville, Australia, Springer, In: LNAI 1249, [Conference or Workshop Item]

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

This list was generated on Sat Oct 19 01:16:28 2019 CEST.