Ralf Treinen

Available identifiers

zbMath Open treinen.ralfMaRDI QIDQ437025

List of research outcomes

Publication	Date of Publication	Type
Equational and membership constraints for infinite trees	2022-12-09	Paper
The first-order theory of one-step rewriting is undecidable	2022-12-09	Paper
First order data types and first order logic	2022-08-16	Paper
How to win a game with features	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4995369	2021-06-24	Paper
Logics for unordered trees with data constraints	2019-06-25	Paper
A formally verified interpreter for a shell-like programming language	2018-12-07	Paper
Deciding the first-order theory of an algebra of feature trees with updates	2018-10-18	Paper
Automata for unordered trees	2017-03-16	Paper
Logics for Unordered Trees with Data Constraints on Siblings	2016-04-08	Paper
The first-order theory of subtyping constraints	2015-03-17	Paper
Reducing equational theories for the decision of static equivalence	2012-07-17	Paper
Verification: Theory and Practice	2010-03-23	Paper
Reducing Equational Theories for the Decision of Static Equivalence	2010-01-14	Paper
Proving Group Protocols Secure Against Eavesdroppers	2008-11-27	Paper
Symbolic protocol analysis for monoidal equational theories	2008-04-16	Paper
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or	2007-09-11	Paper
Intruder deduction for the equational theory of abelian groups with distributive encryption	2007-04-16	Paper
Term Rewriting and Applications	2005-11-11	Paper
On rewrite constraints and context unification	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2762872	2002-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q2762628	2002-01-09	Paper
Grid structures and undecidable constraint theories	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4508312	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4954438	2000-06-07	Paper
The first-order theory of linear one-step rewriting is undecidable	1999-01-12	Paper
How to win a game with features	1998-11-10	Paper
The first-order theory of lexicographic path orderings is undecidable	1998-07-23	Paper
Records for logic programming	1994-05-05	Paper
A new method for undecidability proofs of first order theories	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3358706	1990-01-01	Paper

Research outcomes over time

This page was built for person: Ralf Treinen