BROWSE
My Topics
All Topics
All Publications
All Authors
All Keywords
Unassigned
Recent
Search
EXPORT
Export all publications
SITE
Help
About this site
GUEST USER
reader
cosy_reader
Topic Subscribe
LOGIN
Name:
Password:
Deutsch
,
English
,
Nederlands
,
Norsk
,
<more...>
[
BibTeX
] [
RIS
]
Checking conservativity with Hets
Type of publication:
Inproceedings
Citation:
CodescuEtAl13c
Booktitle:
CALCO 2013
Year:
to appear
Userfields:
status={Reviewed},
Keywords:
Authors
Codescu, Mihai
Mossakowski, Till
Maeder, Christian
Attachments
Notes
Topics