Stephen Skeirik

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification 1517.68167	2022-12-22	Paper
Verification of the IBOS Browser Security Properties in Reachability Logic 1517.68254	2022-12-22	Paper
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies	2022-12-07	Paper
A constructor-based reachability logic for rewrite theories Fundamenta Informaticae	2020-11-16	Paper
A constructor-based reachability logic for rewrite theories (available as arXiv preprint)	2018-09-06	Paper
Metalevel algorithms for variant satisfiability Journal of Logical and Algebraic Methods in Programming	2018-04-06	Paper
Equational formulas and pattern operations in initial order-sorted algebras Formal Aspects of Computing	2017-06-01	Paper
Metalevel algorithms for variant satisfiability Rewriting Logic and Its Applications	2016-10-21	Paper
Equational formulas and pattern operations in initial order-sorted algebras Logic-Based Program Synthesis and Transformation	2016-02-05	Paper

Research outcomes over time

This page was built for person: Stephen Skeirik