18 results on '"Otto, Martin"'
Search Results
2. Konfliktlösung in den protestantischen Kirchen
3. Legalität und Legitimität im Fürstentum Schwarzburg-Rudolstadt : Ein von Carl Schmitt übersehener Fall von 'echtem Staatsnotrecht'?
4. Bounded Variable Logics and Counting: A Study in Finite Models
5. The Freedoms of (Guarded) Bisimulation
6. Bisimulation and Coverings for Graphs and Hypergraphs
7. Boundedness of Monadic Second-Order Formulae over Finite Words
8. Boundedness of Monadic FO over Acyclic Structures
9. Sign Change Fault Attacks on Elliptic Curve Cryptosystems
10. Wagner’s Attack on a Secure CRT-RSA Algorithm Reconsidered
11. Adding For-Loops to First-Order Logic : Extended Abstract
12. Eliminating Recursion in the μ-Calculus
13. Beth Definability for the Guarded Fragment
14. The logic of explicitly presentation-invariant circuits
15. Capturing bisimulation-invariant Ptime
16. Undecidability results on two-variable logics
17. Inductive definability with counting on finite structures
18. Herzkatheter : Einsatz in Diagnostik und Therapie
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.