Old Web
English
Sign In
Acemap
>
authorDetail
>
Martin Plücker
Martin Plücker
RWTH Aachen University
Integer
Algorithm
Discrete mathematics
Mathematical proof
Mathematics
5
Papers
226
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Analyzing Program Termination and Complexity Automatically with AProVE
2017
Journal of Automated Reasoning
Jürgen Giesl
Cornelius Aschermann
Marc Brockschmidt
Fabian Emmes
Florian Frohn
Carsten Fuhs
Jera Hensel
Carsten Otto
Martin Plücker
Peter Schneider-Kamp
Thomas Ströder
Stephanie Swiderski
René Thiemann
Show All
Source
Cite
Save
Citations (99)
Proving Termination of Programs Automatically with AProVE
2014
IJCAR | International Joint Conference on Automated Reasoning
Jürgen Giesl
Marc Brockschmidt
Fabian Emmes
Florian Frohn
Carsten Fuhs
Carsten Otto
Martin Plücker
Peter Schneider-Kamp
Thomas Ströder
Stephanie Swiderski
René Thiemann
Show All
Source
Cite
Save
Citations (76)
Termination of Integer Term Rewriting
2010
DSP | Dagstuhl Seminar Proceedings
Carsten Fuhs
Jürgen Giesl
Martin Plücker
Peter Schneider-Kamp
Stephan Falke
Show All
Source
Cite
Save
Citations (0)
Proving Termination of Integer Term Rewriting
2009
RTA | Rewriting Techniques and Applications
Carsten Fuhs
Jürgen Giesl
Martin Plücker
Peter Schneider-Kamp
Stephan Falke
Show All
Source
Cite
Save
Citations (51)
Termination of Integer Term Rewriting.
2009
Rewriting Techniques and Applications
Carsten Fuhs
Jürgen Giesl
Martin Plücker
Peter Schneider-Kamp
Stephan Falke
Show All
Source
Cite
Save
Citations (0)
1