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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ralf Treinen