Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ralf Treinen

Logics for Unordered Trees With Data Constraints

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2019English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Morbig: A Static Parser for POSIX Shell

Journal of Computer Languages
Computer NetworksSoftwareHuman-Computer InteractionCommunications
2020English

Morbig: A Static Parser for POSIX Shell

2018English

Reducing Equational Theories for the Decision of Static Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Predicate Logic and Tree Automata With Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Records for Logic Programming

The Journal of Logic Programming
1994English

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy