Seidl, Helmut.
Seidl, Helmut, 19..-...., juriste
VIAF ID: 303213426 ( Personal )
Permalink: http://viaf.org/viaf/303213426
Preferred Forms
- 100 1 _ ‡a Seidl, Helmut
- 100 1 _ ‡a Seidl, Helmut
-
-
- 100 1 0 ‡a Seidl, Helmut
- 100 1 _ ‡a Seidl, Helmut
-
-
- 100 1 _ ‡a Seidl, Helmut, ‡d 19..-...., ‡c juriste
-
4xx's: Alternate Name Forms (1)
5xx's: Related Names (5)
- 551 _ _ ‡a Frankfurt am Main ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _ ‡a München ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Technische Universität München ‡b Institut für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Trier ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Universität Trier ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
8. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" | |
Ambiguity for finite tree automata | |
Compiler design | |
Computing polynomial program invariants | |
construction of minimal models | |
even faster solver for general systems of equations | |
Exact XML type checking in polynomial time | |
Familienrecht : einschließlich Verfahrensrecht in Familiensachen : Examenskurs für Rechtsrefendare und Nachschlageband für die Praxis | |
Fast and simple nested fixpoints | |
Foundations of software science and computational structures 10th international conference ; proceedings | |
Frequenztafeln Cent-Hertz | |
Improving Analysis and Optimization of Finite-Precision Programs | |
Interprocedural invariants | |
Language support for synchronous parallel critical sections | |
Locating matches of tree patterns in forests | |
modal μ-calculus [my-calculus] for durational transition systems | |
Model checking for L2 | |
Neue Tendenzen im englischen und deutschen Scheidungsrecht | |
On distributive fixpoint expressions | |
On finitely generated monoids of matrices with entries in N | |
On the expressiveness of tree set operators | |
Parameter reduction of higher level grammars | |
Polynomial constants are decidable | |
Proceedings of the 2023 Joint Workshop of the German Research Training Groups in Computer Science | |
Programming languages and systems proceedings | |
Propagating differences an efficient new fixpoint algorithm for distributive constraint systems | |
quadratic regularity test for non-deleting macro s grammars | |
Regularität bei Grammatiken höherer Stufe | |
Safety and security of software systems logics, proofs, applications : post-proceedings of the Summer School Marktoberdorf | |
Sparamat approach to automatic comprehension of sparse matrix computations | |
Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | |
Streikkämpfe der mittel- und ostdeutschen Braunkohlenbergarbeiter von 1890 bis 1914 | |
Succinct solvers | |
Testing Herbrand equalities and beyond | |
Übersetzerbau : Band 3: Analyse und Transformation | |
Übersetzerbau virtuelle Maschinen | |
Verbesserung der Analyse und Optimierung von Programmen mit Endlicher Genauigkeit |