( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Operationally-based program equivalence proofs using LCTRSs.

, , и . J. Log. Algebraic Methods Program., (октября 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Stefan Ciobaca

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)

Stefan Weiß

Deformation quantization of principal fibre bundles and classical gauge theories. Uni Freiburg, (2009)

Stefan Fröhlich

Modellbasierte Fehlererkennung und Diagnose in Echtzeit am Beispiel einer Brennstoffzelle. Uni Kassel, (2009)

Stefan Tripmaker

Verhältnis und Abgrenzung zwischen Steuerhinterziehung und Betrug. Bucerius Law School Hamburg, (2007)
 

Другие публикации лиц с тем же именем

Verifying the Conversion into CNF in Dafny., и . WoLLIC, том 13038 из Lecture Notes in Computer Science, стр. 150-166. Springer, (2021)Trace-Relating Compiler Correctness and Secure Compilation., , , , , , , , и . ESOP, том 12075 из Lecture Notes in Computer Science, стр. 1-28. Springer, (2020)Operationally-based program equivalence proofs using LCTRSs., , и . J. Log. Algebraic Methods Program., (октября 2023)Computing finite variants for subterm convergent rewrite systems.. UNIF, стр. 28-34. (2011)