14 results on '"Niehren, Joachim"'
Search Results
2. Automata for unordered trees
3. Predicting changes of reaction networks with partial kinetic information
4. Structural simplification of chemical reaction networks in partial steady states
5. Early nested word automata for XPath query answering on XML streams
6. Observational program calculi and the correctness of translations
7. Approximate membership for regular languages modulo the edit distance
8. Queries on Xml streams with bounded delay and concurrency
9. Efficient inclusion checking for deterministic tree automata and XML Schemas
10. Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
11. Non-structural subtype entailment in automata theory
12. An efficient graph algorithm for dominance constraints
13. Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic
14. On rewrite constraints and context unification
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.