Stephen Skeirik
According to our database1,
Stephen Skeirik
authored at least 9 papers
between 2013 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
0
1
2
3
4
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
2020
Fundam. Informaticae, 2020
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
2019
PhD thesis, 2019
2018
J. Log. Algebraic Methods Program., 2018
2017
Formal Aspects Comput., 2017
2014
Proceedings of the Formal Methods and Software Engineering, 2014
2013
Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013