61

Die Centrisol-Dispergiertechnik ermöglicht neue Wege für die Verfahrenstechnik

Year:
2000
Language:
german
File:
PDF, 102 KB
german, 2000
69

Comparing Curried and Uncurried Rewriting

Year:
1996
Language:
english
File:
PDF, 655 KB
english, 1996
71

Conditional rewrite rules: Confluence and termination

Year:
1986
Language:
english
File:
PDF, 1.94 MB
english, 1986
74

Term-rewriting systems with rule priorities

Year:
1989
Language:
english
File:
PDF, 463 KB
english, 1989
75

An analysis of loop checking mechanisms for logic programs

Year:
1991
Language:
english
File:
PDF, 2.83 MB
english, 1991
76

Reflections on a Geometry of Processes

Year:
2006
Language:
english
File:
PDF, 346 KB
english, 2006
79

The role of the hydrogen bonding network for the shear modulus of PIPD

Year:
2005
Language:
english
File:
PDF, 2.70 MB
english, 2005
81

Lambda calculus with patterns

Year:
2008
Language:
english
File:
PDF, 479 KB
english, 2008
82

Productivity of stream definitions

Year:
2010
Language:
english
File:
PDF, 1.43 MB
english, 2010
83

The free process algebra generated by , and

Year:
2011
Language:
english
File:
PDF, 269 KB
english, 2011
84

On equal -terms

Year:
2011
Language:
english
File:
PDF, 878 KB
english, 2011
87

XRD study of the new rigid-rod polymer fibre PIPD

Year:
1998
Language:
english
File:
PDF, 707 KB
english, 1998
90

A proof rule for restoring logic circuits

Year:
1983
Language:
english
File:
PDF, 843 KB
english, 1983
91

Infinitary lambda calculus

Year:
1997
Language:
english
File:
PDF, 2.21 MB
english, 1997
92

Sequentiality in orthogonal term rewriting systems

Year:
1991
Language:
english
File:
PDF, 1.68 MB
english, 1991
100

Electrophilic additions to (dimethylamino)allene

Year:
1984
Language:
english
File:
PDF, 281 KB
english, 1984