Publications (162,173)

Search

A mechanization of strong Kleene logic for partial functions (1994)

Kerber M, Kohlhase M

Conference contribution, Original article

Adapting methods to novel tasks in proof planning (1994)

Huang X, Kerber M, Kohlhase M, Richts J

Conference contribution, Original article

Discrete simulation of linear multidimensional continuous systems (1994)

Rabenstein R

Journal article, Original article

Design of FIR digital filters with flatness constraints for the error function (1994)

Rabenstein R

Journal article, Original article

Design of 2D FIR digital filters with flatness constraints for the error function (1994)

Rabenstein R

Journal article, Original article

"Tridentium und Kunst" (1994)

Hecht C

Other publication type

Formation and complex stabilization of a new chainlike phosphazene anion by CoII-assisted oxidative scrambling of [N(PPh2)2]- (1993)

Ellermann J, Sutter J, Knoch F, Moll M

Journal article, Original article

VIBRATIONAL STRUCTURE OF EXCITED-STATES OF MOLECULES ON OXIDE SURFACES (1993)

Libuda J

Conference contribution

Design of a low loss SAW reflector filter with extremely wide bandwidth for mobile communication systems (1993)

Müller G, Machui J, Reindl L, Weigel R, Russer P

Journal article

Simulation of linear continuous systems with distributed parameters (1993)

Rabenstein R

Journal article

‹ 1 ... 15,913 15,914 15,915 15,916 15,917 ... 16,218 ›