BROWSE
My Topics
All Topics
All Publications
All Authors
All Keywords
Unassigned
Recent
Search
EXPORT
Export all publications
Export author
SORT BY
Author
Title
Type/Journal
Year
Recently added
SITE
Help
About this site
GUEST USER
reader
cosy_reader
Topic Subscribe
LOGIN
Name:
Password:
Deutsch
,
English
,
Nederlands
,
Norsk
,
<more...>
Michael Huth
First name(s):
Michael
Last name(s):
Huth
Keywords:
proof heterogeneity logic institution prover theorem integration development graph
Publications of Michael Huth
2007
Till Mossakowski
,
Christian Maeder
and
Klaus Lüttich
,
The Heterogeneous Tool Set
, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007