( en | de | ru )

 

Disambiguierung von "Falke, Stephan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
When Is a Formula a Loop Invariant?

, und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 264-286. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stephan Falke

Stephan Falke

Stephan Falke

Ernst Falke

Margarete Falke

 

Weitere Publikationen von Autoren mit dem selben Namen

When Is a Formula a Loop Invariant?, und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 264-286. Springer, (2015)Inductive Decidability Using Implicit Induction., und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 45-59. Springer, (2006)Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures., und . RTA, Volume 5117 von Lecture Notes in Computer Science, Seite 94-109. Springer, (2008)Potassium ground-state scattering parameters and Born-Oppenheimer potentials from molecular spectroscopy, , , , , und . Physical Review A (Atomic, Molecular, and Optical Physics), 78 (1): 012503 (2008)Tackling the Blackbody Shift in a Strontium Optical Lattice Clock., , , , , und . IEEE Trans. Instrumentation and Measurement, 60 (7): 2550-2557 (2011)Providing 10-16 Short-Term Stability of a 1.5-µm Laser to Optical Clocks., , , , , , , , und . IEEE Trans. Instrum. Meas., 62 (6): 1556-1562 (2013)Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures., und . WFLP, Volume 5979 von Lecture Notes in Computer Science, Seite 44-61. Springer, (2009)Rewriting Induction + Linear Arithmetic = Decision Procedure., und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 241-255. Springer, (2012)Dependency Pairs for Rewriting with Non-free Constructors., und . CADE, Volume 4603 von Lecture Notes in Computer Science, Seite 426-442. Springer, (2007)Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures., und . WRS@RTA, Volume 237 von Electronic Notes in Theoretical Computer Science, Seite 75-90. Elsevier, (2008)