en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Tankink
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(6)
tags
dblp
No matching items.
Point-and-write --- Documenting Formal Mathematics by Reference
Carst Tankink
,
Christoph Lange 0002
, and
Josef Urban
.
CoRR
(
2012
)
Carst Tankink
,
Christoph Lange 0002
, and
Josef Urban
.
CoRR
(
2012
)
7 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Narrating Formal Proof Work in Progress.
Carst Tankink
,
Herman Geuvers
, and
James McKinna
.
Electr. Notes Theor. Comput. Sci.
(
2012
)
Carst Tankink
,
Herman Geuvers
, and
James McKinna
.
Electr. Notes Theor. Comput. Sci.
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Point-and-Write - Documenting Formal Mathematics by Reference.
Carst Tankink
,
Christoph Lange 0002
, and
Josef Urban
.
AISC/MKM/Calculemus,
volume 7362 of Lecture Notes in Computer Science,
page 169-185.
Springer,
(
2012
)
Carst Tankink
,
Christoph Lange 0002
, and
Josef Urban
.
AISC/MKM/Calculemus,
volume 7362 of Lecture Notes in Computer Science,
page 169-185.
Springer,
(
2012
)
10 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Proviola: A Tool for Proof Re-animation
Carst Tankink
,
Herman Geuvers
,
James McKinna
, and
Freek Wiedijk
.
CoRR
(
2010
)
Carst Tankink
,
Herman Geuvers
,
James McKinna
, and
Freek Wiedijk
.
CoRR
(
2010
)
a year and 5 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Proviola: A Tool for Proof Re-animation.
Carst Tankink
,
Herman Geuvers
,
James McKinna
, and
Freek Wiedijk
.
AISC/MKM/Calculemus,
volume 6167 of Lecture Notes in Computer Science,
page 440-454.
Springer,
(
2010
)
Carst Tankink
,
Herman Geuvers
,
James McKinna
, and
Freek Wiedijk
.
AISC/MKM/Calculemus,
volume 6167 of Lecture Notes in Computer Science,
page 440-454.
Springer,
(
2010
)
2 years and 10 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Improving an interactive visualization of transition systems.
Bas Ploeger
, and
Carst Tankink
.
SOFTVIS,
page 115-124.
ACM,
(
2008
)
Bas Ploeger
, and
Carst Tankink
.
SOFTVIS,
page 115-124.
ACM,
(
2008
)
4 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact
author