Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1993	Influence of coarse second phase additions on mechanical properties of NiAl	Clemens, Helmut; Rumberg, I.; Schretter, P., u.a.
1993	Determinação do perfil de tensão em filmes finos por microelipsometria	De Albuquerque Barros Filho, D.; Aegerter, Michel A.
1993	Synthesis of ferroelectric perovskites through aqueous-solution techniques	Guzman, G.; Aegerter, Michel A.; Barboux, P., u.a.
1993	Nucleation and crystallization in fluoroindate glasses	Messaddeq, Younes; Delben, A. A. S. T.; Aegerter, Michel A., u.a.
1993	Eine Grundlegung der Average-Case Komlexitätstheorie	Biehl, Ingrid
1993	Sicherheit kryptographischer Protokolle	Handl, Ralf
1993	Leistungssteigerung ereignisgesteuerter Simulation durch Multi-Mikro-Rechnersysteme	Mattern, Friedemann; Richter, Jörg; Mehl, Horst
1993	Principal types for object-oriented languages	Hense, Andreas V.; Smolka, Gert
1993	SOLL-Spezifikation aus Sicht der Sicherheit	Grosse, Malte; Hufschmidt, Holger
1993	Canonical Conditional Rewrite Systems Containing Extra Variables	Avenhaus, Jürgen; Loría-Sáenz, Carlos
1993	Change of Representation in Theorem Proving by Analogy	Melis, Erica
1993	Distributing equational theorem proving	Avenhaus, Jürgen; Denzinger, Jörg
1993	Analogies between Proofs : A Case Study	Melis, Erica
1993	A Combinator-based Order-sorted Higher-order Unification Algorithm	Johann, Patricia
1993	A Mechanization of Strong Kleene Logic for Partial Functions	Kerber, Manfred; Kohlhase, Michael
1993	New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems	Gramlich, Bernhard
1993	On the Complexity of Simplification Orderings	Steinbach, Joachim
1993	Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems	Gramlich, Bernhard
1993	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading	Johann, Patricia; Kohlhase, Michael
1993	Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme'" in Kaiserslautern, 1993	Avenhaus, Jürgen; Denzinger, Jörg