5

Constant-only multiplicative linear logic is NP-complete

Year:
1994
Language:
english
File:
PDF, 959 KB
english, 1994
9

Linear Logic Proof Games and Optimization

Year:
1996
Language:
english
File:
PDF, 412 KB
english, 1996
11

Forensic DNA Profiling Protocols Volume 98 ||

Year:
1998
Language:
english
File:
PDF, 3.27 MB
english, 1998
17

Common rotational variations in children.

Year:
2003
Language:
english
File:
PDF, 175 KB
english, 2003
22

Decision problems for propositional linear logic

Year:
1992
Language:
english
File:
PDF, 4.96 MB
english, 1992
23

Linearizing intuitionistic implication

Year:
1993
Language:
english
File:
PDF, 1.73 MB
english, 1993
27

Optimization complexity of linear logic proof games

Year:
1999
Language:
english
File:
PDF, 218 KB
english, 1999
29

Adventures in associative-commutative unification

Year:
1989
Language:
english
File:
PDF, 1.45 MB
english, 1989
37

A Sedimentological Approach to Upscaling

Year:
2002
Language:
english
File:
PDF, 452 KB
english, 2002
40

Thermostability of ABO(H) blood-group antigens in human teeth

Year:
1978
Language:
english
File:
PDF, 516 KB
english, 1978
45

Thermostability of ABO(H) blood-group antigens in human teeth

Year:
1978
Language:
english
File:
PDF, 471 KB
english, 1978
48

Acute toxicity of gymnodimine to mice

Year:
2004
Language:
english
File:
PDF, 99 KB
english, 2004