Utholdenhet VG1 -1
Catalogo LUPO Completo
Catalogo LUPO
LUPO
Neue Synthese gemischter Azofarbstoffe aus aromatischen Diaminen
A quick axiomatisation of LTL with past
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
A purely model-theoretic proof of the exponential succinctness gap between CTL+ and CTL
Model checking propositional dynamic logic with all extras
Alternating Context-Free Languages and Linear Time μ-Calculus with Sequential Composition
Visible emission from ZnCdO/ZnO multiple quantum wells
The alternation hierarchy in fixpoint logic with chop is strict too
Towards a molecular identification and classification system of lepidopteran-specific baculoviruses
The genome of the Cryptophlebia leucotreta granulovirus
Design and Testing of ITS Probes for Distinguishing Phaeocystis species