Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Joachim Niehren

Logics for Unordered Trees With Data Constraints

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

Qualitative Reasoning for Reaction Networks With Partial Kinetic Information

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Ordering Constraints Over Feature Trees Expressed in Second-Order Monadic Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

Ordering Constraints Over Feature Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Inclusion Constraints Over Non-Empty Sets of Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Underspecified Beta Reduction

2001English

Correctly Translating Concurrency Primitives

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy