Blättern nach Person
Ebene hoch |
Giesl, Jürgen ; Walther, Christoph ; Brauburger, J.
Hrsg.: Bibel, Wolfgang (1998)
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Volume III Applications
doi: 10.1007/978-94-017-0437-3
Buchkapitel, Bibliographie
Schilling, Dagmar ; Brauburger, J. ; Ruiner, W. ; Nixdorff, K. (1997)
Modulation of interleukin 1ß production in macrophages stimulated with lipopolysaccharide by the protein kinase inhibitor staurosporine.
In: Journal of endotoxin research, 4 (4)
doi: 10.1177/096805199700400402
Artikel, Bibliographie
Kolbe, Thomas ; Brauburger, J.
Hrsg.: MacCune, William (1997)
PLAGIATOR - a learning prover.
14th International Conference on Automated Deduction (CADE-14). Townsville, North Queensland, Australia (09.07. - 17.07.1997)
doi: 10.1007/3-540-63104-6_24
Konferenzveröffentlichung, Bibliographie