DE eng

Search in the Catalogues and Directories

Hits 1 – 5 of 5

1
From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes
Robbins, Edward; King, Andy; Schrijvers, Tom. - : ACM Press, 2016
BASE
Show details
2
Proofs You Can Believe In. Proving Equivalences Between Prolog Semantics in Coq
In: 15th International Symposium on Principles and Practice of Declarative Programming (PPDP) ; https://hal.inria.fr/hal-00908848 ; 15th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2013, Madrid, Spain. pp.37-48 (2013)
BASE
Show details
3
Why are tailored messages more effective? A multiple mediation analysis of a breast cancer screening intervention
In: Journal of communication. - Cary, NC : Oxford University Press 62 (2012) 5, 851-868
BLLDB
OLC Linguistik
Show details
4
A Kernel of Truth? The Impact of Television Storylines Exploiting Myths About Organ Donation on the Public's Willingness to Donate
In: Journal of communication. - Cary, NC : Oxford University Press 60 (2010) 4, 778-796
OLC Linguistik
Show details
5
The Anglo-Norman Language and its Contexts
Curry, Anne; Bell, Adrian; Chapman, Adam. - : York Medieval Press, 2010
BASE
Show details

Catalogues
0
0
2
0
0
0
0
Bibliographies
1
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
3
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern