Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Helmut Seidl

Verifying a Local Generic Solver in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Macro Forest Transducers

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2004English

The Succinct Solver Suite

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Synchronized Tree Languages Revisited and New Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Abstract Interpretation Over Zones Without Widening

English

On the Degree of Ambiguity of Finite Automata

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy